Moving to highlight.js