pygments.css back in the game