Add highlight.js.