From 9163dadcd02d9935432fd958da902c921ead6a66 Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Thu, 1 Nov 2012 18:41:41 -0700
Subject: [PATCH] Turn off borders again temporarily

---
 src/servo/layout/box.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/servo/layout/box.rs b/src/servo/layout/box.rs
index 6adc568a230..30ed1fe5fa3 100644
--- a/src/servo/layout/box.rs
+++ b/src/servo/layout/box.rs
@@ -463,7 +463,7 @@ impl RenderBox : RenderBoxMethods {
                         }
                     };
                     let color = rgb(0, 128, 255).to_gfx_color(); // FIXME
-                    list.append_item(~DisplayItem::new_Border(&bounds, border_width, color));
+                    //list.append_item(~DisplayItem::new_Border(&bounds, border_width, color));
                     
                 } else {
                     fail ~"unimplemented border widths";