disable highlighter.js