A Javascript module and CSS file that allows syntax highlighting of source code snippets in an html page in TinyMCE - View it on GitHub