Update: In general my preferences (and requirements) have evolved slightly and I
have switched from using pre-generated HTML in practice to using Prism.js
[http://prismjs.com/download.html]... for now. That said, I still use
highlight.js as noted below but wanted to