Various aesthetic tweaks for HTML doc generation.