CSS doesn't get anywhere near as much benefit from being minified as JS does. There's much less scope for transformation of the code to make it smaller, so if you're serving your CSS gzipped (which we do) then the difference is minimal at best.
However, I disagree about the low benefit of minifying gzipped CSS. I thought the same thing too until I ran some tests. For example:
34K v6core.css.gz
27K v6core.min.css.gz
I ran your core CSS file through YUI compressor and then gzip. 7k of savings, over 20%, definitely seems worth it.Look at their home page, for example. It uses just one stylesheet (v6core.css). That same file is also used on their blog, so my browser already has it cached. Perfect!
None of those stylesheets are less than 45K, so the savings they get from not needing to download them on every page outweighs the HTTP request hit they take by including them separately on more complex pages.