correct pygment.css