Switch to highlightjs.