upgraded to highlight.js 8.0