Re-adding pygments to css