Use highlight.js instead of prettify.js