Adding github flavored pygments.css