Introduce highlight.js