highlight.js integrated