make new dev toolbox in FF 20+ look good as well

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

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index 755d5ac3359b71ae6fca7189e57d96d08cd35b0d..5c94eaa4ef6c91fefcc8e0e6b0109a89c9d8fe36 100644 (file)
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -8,12 +8,17 @@
 .devtools-toolbar {
 }
 
+.devtools-menulist,
 .devtools-toolbarbutton {
 }
 
+.devtools-toolbarbutton > .toolbarbutton-menubutton-button {
+  /*-moz-box-orient: horizontal;*/
+}
+
+devtools-menulist:-moz-focusring,
 .devtools-toolbarbutton:-moz-focusring {
   outline: 1px dotted #008484;
-  outline-offset: -4px;
 }
 
 .devtools-toolbarbutton > .toolbarbutton-icon {
@@ -23,13 +28,50 @@
   min-width: 20px;
 }
 
-.devtools-toolbarbutton:not([checked]):hover:active {
+.devtools-toolbarbutton:not([checked=true]):hover:active {
+}
+
+.devtools-menulist[open=true],
+.devtools-toolbarbutton[open=true],
+.devtools-toolbarbutton[checked=true] {
+}
+
+.devtools-toolbarbutton[checked=true] {
+}
+
+.devtools-toolbarbutton[checked=true]:hover:active {
+}
+
+.devtools-menulist > .menulist-label-box {
+  text-align: center;
+}
+
+.devtools-menulist > .menulist-dropmarker {
+}
+
+.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;
+}
+
+.devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
 }
 
-.devtools-toolbarbutton[checked] {
+.devtools-toolbarbutton[type=menu-button]:-moz-locale-dir(rtl) > .toolbarbutton-menubutton-button {
 }
 
-.devtools-toolbarbutton[checked]:hover:active {
+.devtools-toolbarbutton[type=menu-button] {
+  padding: 0 1px;
+  -moz-box-align: stretch;
+}
+
+.devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
+.devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
+  -moz-box-align: center;
 }
 
 /* Search input */
@@ -44,15 +86,15 @@
   background-color: transparent;
   background-image: url(magnifying-glass.png), -moz-linear-gradient(hsla(210,16%,76%,.15), hsla(210,16%,76%,.35));
   background-repeat: no-repeat;
-  background-position: 4px 3px, top left, top left;
+  background-position: 4px center, top left, top left;
   padding-top: 0;
   padding-bottom: 0;
   -moz-padding-start: 18px;
   -moz-padding-end: 12px;
-  color: hsl(210,30%,85%);
-  -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;
 }
 
 .devtools-searchinput[focused] {
@@ -63,7 +105,7 @@
 }
 
 .devtools-searchinput:-moz-locale-dir(rtl) {
-  background-position: -moz-calc(100% - 4px) 3px, top left, top left;
+  background-position: calc(100% - 4px) center, top left, top left;
 }
 
 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
@@ -75,8 +117,44 @@
 }
 */
 
+/* Close button */
+
+.devtools-closebutton {
+  list-style-image: url("chrome://global/skin/icons/close-button.gif");
+  min-width: 16px;
+  width: 16px;
+}
+
+.devtools-closebutton > .toolbarbutton-text {
+  display: none;
+}
+
+.devtools-closebutton:hover,
+.devtools-closebutton:hover:active {
+  list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
+}
+
 /* Splitters */
 
-#devtools-side-splitter {
+.devtools-horizontal-splitter {
   border: none;
+  min-height: 3px;
+  height: 3px;
+  position: relative;
+}
+
+#devtools-side-splitter {
+  border: 0;
+  min-width: 0;
+  width: 3px;
+  position: relative;
+}
+
+#profiler-chrome {
+  /* HACK for profiler in the dev toolbox in FF 20+. */
+  margin: -3px;
 }
+
+#profiler-chrome > box > box > .devtools-toolbar {
+  border-bottom: none;
+}
\ No newline at end of file