Integrated highlight.js