revert highlight.js version