minify pygment highlighting css