fixed self-closing div tag

[nexero]

fixes a self-closing div tag (appears if there is no text in a document-tag), which is not allowed in HTML

[bitfehler]

Hi! Thanks a lot for submitting patches! While I guess the approach would work, I think it would be cleaner to test for an empty text before emitting the entire div block. Would you be interested in updating the patch to do so? PS: I don't quite understand what the new commit is meant for (the index.html file)