minify css?

Hi

I’ve seen that the CSS that is put in the html is not optimized. It seems rather easy to store optimized CSS in the generating PHP-file.

As this CSS is generated with each page, this could be a nice speed and space saver.