Changed the code syntax highlighter from a jQuery plugin, to pure
CSS via Pygments.