Do some editin'.
Tweak appearance of headers in HTML output.