Updated highlight.js