Updating highlight.js