minify pygments solarized theme