first part of update for both themes to browser winstripe changes in Firefox 17 cycle

[themes.git] / LCARStrek / browser / devtools / common.css

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index 09eb01351c4838b77e0dbaad8bfa7d3af55cf38e..7505dcfcb8dd2c5967bf248e2016960f1b2d6e8e 100644 (file)
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -25,14 +25,14 @@ devtools-menulist:-moz-focusring,
   min-width: 20px;
 }
 
-.devtools-toolbarbutton:not([checked]):hover:active {
+.devtools-toolbarbutton:not([checked=true]):hover:active {
 }
 
 .devtools-menulist[open=true],
-.devtools-toolbarbutton[checked] {
+.devtools-toolbarbutton[checked=true] {
 }
 
-.devtools-toolbarbutton[checked]:hover:active {
+.devtools-toolbarbutton[checked=true]:hover:active {
 }
 
 .devtools-menulist > .menulist-label-box {
@@ -45,6 +45,12 @@ devtools-menulist:-moz-focusring,
 .devtools-menulist:focus:not([open="true"]):not(.menulist-compact) > .menulist-label-box {
 }
 
+/* LCARStrek checkbox colors don't work well against toolbar background */
+.devtools-toolbar > checkbox {
+  background-color: #000000;
+  padding: 2px;
+}
+
 /* Search input */
 
 /*
@@ -62,9 +68,9 @@ devtools-menulist:-moz-focusring,
   padding-bottom: 0;
   -moz-padding-start: 18px;
   -moz-padding-end: 12px;
-  -moz-transition-property: background-color, border-color, box-shadow;
-  -moz-transition-duration: 150ms;
-  -moz-transition-timing-function: ease;
+  transition-property: background-color, border-color, box-shadow;
+  transition-duration: 150ms;
+  transition-timing-function: ease;
   color: inherit;
 }
 
@@ -76,7 +82,7 @@ devtools-menulist:-moz-focusring,
 }
 
 .devtools-searchinput:-moz-locale-dir(rtl) {
-  background-position: -moz-calc(100% - 4px) 3px, top left, top left;
+  background-position: calc(100% - 4px) 3px, top left, top left;
 }
 
 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
@@ -105,16 +111,18 @@ devtools-menulist:-moz-focusring,
   list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
 }
 
-/* Splitter */
+/* Splitters */
 
 .devtools-horizontal-splitter {
   border: none;
   min-height: 3px;
   height: 3px;
-  margin-bottom: -3px;
   position: relative;
 }
 
 #devtools-side-splitter {
-  border: none;
+  border: 0;
+  min-width: 0;
+  width: 3px;
+  position: relative;
 }