php-horde-Horde-CssMinify: minor cleanup