Isn't this even irrelevant?
The PM CSS files are far smaller than most websites. In fact I think you'd be hard pressed to visit any website with smaller CSS files. And more importantly, they are cached by the user's browser never to be requested again until the cache expires. So unless you are a very first time visitor to PM, it plays no part at all in the bandwidth of a PM web page load.
So it's a small chunk of bytes that rarely get transferred anyway. If we were discussing Perl code instead of CSS markup there would have been several pointers about the pitfalls of pre-mature optimization by now.
Sweating over the size of a CSS file is misdirected effort IMO.