Change highlight.js version