use highlight.js for font highlighting.