From 76cbfea5df8aa8e6c40c9126ca0e4d6e7a9dc702 Mon Sep 17 00:00:00 2001
From: "slamm%netscape.com" <slamm%netscape.com>
Date: Mon, 14 Jun 1999 22:31:52 +0000
Subject: [PATCH] Defaults are good enough for margin, padding, and border.

---
 rdf/resources/sidebar.css | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/rdf/resources/sidebar.css b/rdf/resources/sidebar.css
index 3ba6d6386c9..1b02e1809e7 100644
--- a/rdf/resources/sidebar.css
+++ b/rdf/resources/sidebar.css
@@ -104,17 +104,11 @@ box#sidebox {
 
 box.sidebartitle {
   background-color: #505888;
-  padding: 0px;
-  border: 0px;
-  margin: 0px;
   font: 10pt sans-serif;
 }
 
 box.panelbar {
   background-color: #006870;
-  padding: 1px;
-  border: 0px;
-  margin: 0px;
   font: 10pt sans-serif;
 }