highlights.js as source-highlighter