From 95cc11dee19e6f1ffcdb617a408e281dfa21c691 Mon Sep 17 00:00:00 2001
From: Uriel <u@berlinblue.org>
Date: Sat, 5 Jul 2008 22:38:41 +0200
Subject: [PATCH] Properly comment out css attributes

---
 pub/style/style.css | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/pub/style/style.css b/pub/style/style.css
index 72d4936..56f327c 100644
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -167,8 +167,10 @@ li ul {
   color: black!important;
   background-color: white;
   padding-left: 5mm;
-  XXXborder-top: 1px solid rgb(153,153,153);
-  XXXborder-bottom: 1px solid rgb(153,153,153);
+  /*
+  border-top: 1px solid rgb(153,153,153);
+  border-bottom: 1px solid rgb(153,153,153);
+  */
   font-weight: 600;
 }