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 http://highlight

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 http://highlightjs.org/static/test.html