Я ищу оптимизатор CSS. Это должен быть скрипт php, чтобы я мог установить его на свой хост или онлайн-сервисы. Мне нужна функция, как показано ниже. Любой рекомендуется?
от
margin-top:5px;
margin-right:10px;
margin-bottom:8px;
margin-left:2px;
до:
=> margin:5px 10px 8px 2px;
от
-moz-border-radius-topleft: 5px;
до:
=> -moz-border-radius-topleft: 5px;
=> -webkit-border-top-left-radius: 5px;