Moving from Google Prettify to Highlight.js