update highlight.js