highlight.js 7.5 and 8.0