Remove unused pygment.css