removed old highlight.js