Improved formatting of HTML5 section