Now using Pygments for code highlighting