Changes in pygment.css