another attempt at getting ie border thign working

bootstrap-1.0.0.css

@@ -6,7 +6,7 @@
  * http://www.apache.org/licenses/LICENSE-2.0
  *
  * Designed and built with all the love in the world @twitter by @mdo and @fat.
- * Date: Sun Aug 21 12:35:35 PDT 2011
+ * Date: Sun Aug 21 12:40:43 PDT 2011
  */
 /* Reset.less
  * Props to Eric Meyer (meyerweb.com) for his CSS reset file. We're using an adapted version here	that cuts out some of the reset HTML elements we will never need here (i.e., dfn, samp, etc).
@@ -1544,8 +1544,10 @@ div.pagination {
 div.pagination ul {
   float: left;
   margin: 0;
-  border: 1px solid;
-  border-color: #dddddd rgba(0, 0, 0, 0.15) #dddddd #dddddd;
+  border: 1px solid rgba(0, 0, 0, 0.15);
+  border-left-color: #ddd;
+  border-top-color: #ddd;
+  border-bottom-color: #ddd;
   -webkit-border-radius: 3px;
   -moz-border-radius: 3px;
   border-radius: 3px;

bootstrap-1.0.0.min.css

@@ -197,7 +197,7 @@ ul.tabs{width:100%;border-bottom:1px solid #bfbfbf;}ul.tabs li a{margin-bottom:-
 ul.tabs li.active a{background-color:#fff;padding:0 14px;border:1px solid #ccc;border-bottom:0;color:#808080;}
 ul.pills li a{margin:5px 3px 5px 0;padding:0 15px;text-shadow:0 1px 1px #fff;line-height:30px;-webkit-border-radius:15px;-moz-border-radius:15px;border-radius:15px;}ul.pills li a:hover{background:#0050a3;color:#fff;text-decoration:none;text-shadow:0 1px 1px rgba(0, 0, 0, 0.25);}
 ul.pills li.active a{background:#0069d6;color:#fff;text-shadow:0 1px 1px rgba(0, 0, 0, 0.25);}
-div.pagination{height:36px;margin:18px 0;}div.pagination ul{float:left;margin:0;border:1px solid;border-color:#dddddd rgba(0, 0, 0, 0.15) #dddddd #dddddd;-webkit-border-radius:3px;-moz-border-radius:3px;border-radius:3px;-webkit-box-shadow:0 1px 2px rgba(0, 0, 0, 0.075);-moz-box-shadow:0 1px 2px rgba(0, 0, 0, 0.075);box-shadow:0 1px 2px rgba(0, 0, 0, 0.075);}div.pagination ul li{display:inline;}div.pagination ul li a{float:left;padding:0 14px;line-height:34px;border-right:1px solid;border-right-color:#ddd;border-right-color:rgba(0, 0, 0, 0.15);text-decoration:none;}
+div.pagination{height:36px;margin:18px 0;}div.pagination ul{float:left;margin:0;border:1px solid rgba(0, 0, 0, 0.15);border-left-color:#ddd;border-top-color:#ddd;border-bottom-color:#ddd;-webkit-border-radius:3px;-moz-border-radius:3px;border-radius:3px;-webkit-box-shadow:0 1px 2px rgba(0, 0, 0, 0.075);-moz-box-shadow:0 1px 2px rgba(0, 0, 0, 0.075);box-shadow:0 1px 2px rgba(0, 0, 0, 0.075);}div.pagination ul li{display:inline;}div.pagination ul li a{float:left;padding:0 14px;line-height:34px;border-right:1px solid;border-right-color:#ddd;border-right-color:rgba(0, 0, 0, 0.15);text-decoration:none;}
 div.pagination ul li a:hover,div.pagination ul li.active a{background-color:#c7eefe;}
 div.pagination ul li.disabled a,div.pagination ul li.disabled a:hover{background-color:none;color:#bfbfbf;}
 div.pagination ul li.next a,div.pagination ul li:last-child a{border:0;}

lib/patterns.less

@@ -456,8 +456,10 @@ div.pagination {
   ul {
     float: left;
     margin: 0;
-    border: 1px solid;
-    border-color: #ddd rgba(0,0,0,.15) #ddd #ddd;
+    border: 1px solid rgba(0,0,0,.15);
+    border-left-color: #ddd;
+    border-top-color: #ddd;
+    border-bottom-color: #ddd;
     .border-radius(3px);
     .box-shadow(0 1px 2px rgba(0,0,0,.075);
     li {