It's using highlight.js, but doesn't seem to be one of the default styles. [0] Maybe it's custom?

[0]: http://highlightjs.org/static/test.html