introduce highlight.js