是否有一个CSS缩小器足够聪明，可以进行转换，例如：
.caret {
border-left:4px solid transparent;
border-right:4px solid transparent;
border-top:4px solid #000;
border-bottom:0;
}
这样的事情：
.caret {
border:4px solid transparent;
border-top-color:#000;
border-bottom:0;
}