Colorized HTML on About page

This uses CodeMirror to colorize the HTML on the About page.