Switch to prism.js for highlighting.

It's even lighter.