CSS cleanup + addition of Pygments CSS