Changed highlight.js integration