Readded highlight.js