Updated to Pygments highlighting.