updated to the latest highlight.js