Replace Prettify with Highlight.js