Prettify HTML output.