Deleted css/pygments.css