Better indenting/etc. of HTML5