revert changes to pygments.css