removing unneeded pygments.css