Bug 759803 - Remove padding and add side-splitters to common.css in Debugger; r=dcamp
authorRob Campbell <rcampbell>
Wed, 30 May 2012 10:00:00 -0300
changeset 97648 c8b5f4cd46437129f6335ba01e040eee320254ef
parent 97647 1a1529306022d71eecfaf52d69ded9fefb51513a
child 97649 5d7b03e92502015ec4f87c4de4969797a12cd12c
push idunknown
push userunknown
push dateunknown
reviewersdcamp
bugs759803
milestone15.0a1
Bug 759803 - Remove padding and add side-splitters to common.css in Debugger; r=dcamp
browser/themes/gnomestripe/devtools/common.css
browser/themes/gnomestripe/devtools/debugger.css
browser/themes/pinstripe/devtools/common.css
browser/themes/pinstripe/devtools/debugger.css
browser/themes/winstripe/devtools/common.css
browser/themes/winstripe/devtools/debugger.css
--- a/browser/themes/gnomestripe/devtools/common.css
+++ b/browser/themes/gnomestripe/devtools/common.css
@@ -113,19 +113,30 @@
 }
 
 .devtools-closebutton > .toolbarbutton-icon {
   /* XXX Buttons have padding in widget/ that we don't want here but can't override with good CSS, so we must
      use evil CSS to give the impression of smaller content */
   margin: -4px;
 }
 
-/* Splitter */
+/* Splitters */
 
 .devtools-horizontal-splitter {
   -moz-appearance: none;
   border-top: 1px solid black;
   border-bottom-width: 0;
   min-height: 3px;
   height: 3px;
   margin-bottom: -3px;
   position: relative;
 }
+
+.devtools-side-splitter {
+  -moz-appearance: none;
+  border: 0;
+  -moz-border-start: 1px solid black;
+  min-width: 0;
+  width: 3px;
+  background-color: transparent;
+  -moz-margin-end: -3px;
+  position: relative;
+}
--- a/browser/themes/gnomestripe/devtools/debugger.css
+++ b/browser/themes/gnomestripe/devtools/debugger.css
@@ -8,17 +8,17 @@
   background: -moz-dialog;
 }
 
 /**
  * Debugger content
  */
 
 #dbg-content {
-  padding: 6px;
+  padding: 0;
 }
 
 /**
  * Lists and headers
  */
 
 .list-item {
   padding: 2px;
--- a/browser/themes/pinstripe/devtools/common.css
+++ b/browser/themes/pinstripe/devtools/common.css
@@ -127,20 +127,31 @@
 .devtools-closebutton:hover {
   -moz-image-region: rect(0, 32px, 16px, 16px);
 }
 
 .devtools-closebutton:active {
   -moz-image-region: rect(0, 48px, 16px, 32px);
 }
 
-/* Splitter */
+/* Splitters */
 
 .devtools-horizontal-splitter {
   -moz-appearance: none;
   background-image: none;
   border-top: 1px solid black;
   border-bottom-width: 0;
   min-height: 3px;
   height: 3px;
   margin-bottom: -3px;
   position: relative;
 }
+
+.devtools-side-splitter {
+  -moz-appearance: none;
+  background-image: none;
+  border: 0;
+  -moz-border-start: 1px solid black;
+  min-width: 0;
+  width: 3px;
+  -moz-margin-end: -3px;
+  position: relative;
+}
--- a/browser/themes/pinstripe/devtools/debugger.css
+++ b/browser/themes/pinstripe/devtools/debugger.css
@@ -10,17 +10,17 @@
   background: -moz-dialog;
 }
 
 /**
  * Debugger content
  */
 
 #dbg-content {
-  padding: 6px;
+  padding: 0;
 }
 
 /**
  * Lists and headers
  */
 
 .list-item {
   padding: 2px;
--- a/browser/themes/winstripe/devtools/common.css
+++ b/browser/themes/winstripe/devtools/common.css
@@ -135,20 +135,30 @@
 .devtools-closebutton:hover {
   -moz-image-region: rect(0, 32px, 16px, 16px);
 }
 
 .devtools-closebutton:hover:active {
   -moz-image-region: rect(0, 48px, 16px, 32px);
 }
 
-/* Splitter */
+/* Splitters */
 
 .devtools-horizontal-splitter {
   -moz-appearance: none;
   border-width: 1px 0 0 0;
   -moz-border-top-colors: black;
   background-color: transparent;
   min-height: 3px;
   height: 3px;
   margin-bottom: -3px;
   position: relative;
 }
+
+.devtools-side-splitter {
+  border: 0;
+  -moz-border-start: 1px solid #242b33;
+  min-width: 0;
+  width: 3px;
+  background-color: transparent;
+  -moz-margin-end: -3px;
+  position: relative;
+}
--- a/browser/themes/winstripe/devtools/debugger.css
+++ b/browser/themes/winstripe/devtools/debugger.css
@@ -8,17 +8,17 @@
   background: -moz-dialog;
 }
 
 /**
  * Debugger content
  */
 
 #dbg-content {
-  padding: 6px;
+  padding: 0;
 }
 
 /**
  * Lists and headers
  */
 
 .list-item {
   padding: 2px;