Pygmentize for code highlighting.

Highlight.js might actually be better.