dropdowns.less: Add space before IE8 workaround.

This in turn works around an issue with clean-css (fixed in 3.2.6). So this basically is just a consistency change.

diff --git a/less/dropdowns.less b/less/dropdowns.less
index f47a4bce8b7f9dbfd82a20b4c75b0cfb2241b8d0..d2a872d8c4b604bedca61a3e6198558826df402d 100644 (file)
--- a/less/dropdowns.less
+++ b/less/dropdowns.less
@@ -11,7 +11,7 @@
   margin-left: 2px;
   vertical-align: middle;
   border-top:   @caret-width-base dashed;
-  border-top:   @caret-width-base ~"solid\9"; // IE8
+  border-top:   @caret-width-base solid ~"\9"; // IE8
   border-right: @caret-width-base solid transparent;
   border-left:  @caret-width-base solid transparent;
 }