add Highlight.js