Google Code Prettify replaced by Pygments