Changes in pygment.css 2