highlight.js updated