A small CSS cruncher for PHP