Add highlight.js to example.