From d671d566e14a569feed87422c0b2f035f3dd9128 Mon Sep 17 00:00:00 2001
From: Jacob Thornton <jacobthornton@gmail.com>
Date: Sun, 21 Aug 2011 12:35:14 -0700
Subject: [PATCH] more ie border junk

---
 lib/patterns.less | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/patterns.less b/lib/patterns.less
index dc5f45ab02..0e121cb31c 100644
--- a/lib/patterns.less
+++ b/lib/patterns.less
@@ -456,8 +456,8 @@ div.pagination {
   ul {
     float: left;
     margin: 0;
-    border: 1px solid #ddd;
-    border-right-color: rgba(0,0,0,.15); // don't display right border for ie
+    border: 1px solid;
+    border-color: #ddd rgba(0,0,0,.15) #ddd #ddd;
     .border-radius(3px);
     .box-shadow(0 1px 2px rgba(0,0,0,.075);
     li {