switch to highlight.js