colorize HTML output using `<font> . . . </font>` elements