updated for highlight.js v8.x