Update pygments.css