change to highlight.js