remove default border of splitters and workarounds for that
[themes.git] / LCARStrek / browser / devtools / debugger.css
index 54b7ebf916eb15f421a86baa583d62db9d73623a..d337dda5bcfac839f3a2c255d186a30c0200f15b 100644 (file)
@@ -9,7 +9,7 @@ window {
 }
 
 #body {
-  /* background: #000000; */
+  background-color: #000000;
 }
 
 /**
@@ -20,10 +20,6 @@ window {
   padding: 0;
 }
 
-.devtools-side-splitter {
-  border: none;
-}
-
 #scripts {
   min-width: 150px;
 }
@@ -123,6 +119,25 @@ window {
   transform: scale(1.75, 1.75);
 }
 
+#scripts-search-panel .description {
+  margin-top: -6px;
+  margin-bottom: 8px;
+  -moz-margin-start: 0;
+  -moz-margin-end: 0;
+}
+
+#scripts-search-panel button.operator {
+  min-width: 0;
+  margin: 0;
+  padding: 0;
+  font: 9pt "Liberation Mono", Consolas, "Courier New", monospace;
+}
+
+#scripts-search-panel label.operator {
+  -moz-padding-start: 6px;
+  padding-bottom: 1px;
+}
+
 /**
  * Stack frames and breakpoints panel
  */
@@ -394,9 +409,6 @@ window {
  */
 
 #toggle-panes {
-  background: none;
-  border: none;
-  box-shadow: none;
   list-style-image: url("chrome://browser/skin/devtools/debugger-expand.png");
   -moz-image-region: rect(0px, 16px, 16px, 0px);
 }