use highlight.js instead of Google prettify