Further tweaks to HTML output and CSS.