Replace pygments with highlight.js