Switch to highlight.js for highlighting.

It's much lighter than Syntax Highlighter.