Switched from cdjns to local copy of Highlight.js