update pygments.css