Delete pygments.css