A Javascript module and CSS file that allows syntax highlighting of source code snippets in an html page in TinyMCE