fix highlight.js support