WebDoc & WebLogs: fix intendation in HTML5 source.

This fix isn't visible unless someone goes to the page source.