Add colorization to HTML output.