A jQuery plugin for syntax highlighting