Use highlight.js 8.2