update to suite default status of 2009-01-30: bug 474807 - replace 4-piece margin...
[themes.git] / EarlyBlue / inspector / titledSplitter.css
index 9515c8567cd53600aee131ba1aecf4facbe93028..29c28593011998d89306e522dbfc289983dade3b 100644 (file)
@@ -58,7 +58,7 @@ box[orient="vertical"] > .titled-splitter {
 }
 
 .titledsplitter-titlebox {
-  padding: 0px 5px 0px 5px;
+  padding: 0px 5px;
 }
 
 .titledsplitter-text {
@@ -81,7 +81,10 @@ box[orient="vertical"] > .titled-splitter {
 
 .titledsplitter-closebutton:hover:active {
   border-style: inset;
-  padding: 3px 1px 1px 3px;
+  padding-top: 3px;
+  padding-bottom: 1px;
+  -moz-padding-start: 3px;
+  -moz-padding-end: 1px;
 }