Add a few more colors for HTML output.