Мне нужно минимизировать мои css-файлы, и мне было интересно, знает ли кто-нибудь, как Bootstrap минимизирует их CSS? Какие инструменты они используют и т. Д.