make new dev toolbox in FF 20+ look good as well
[themes.git] / LCARStrek / browser / devtools / common.css
index 93838fe46c7e91bc26e1591d363e6e2e2f1ea302..5c94eaa4ef6c91fefcc8e0e6b0109a89c9d8fe36 100644 (file)
 .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 {
@@ -29,6 +32,10 @@ devtools-menulist:-moz-focusring,
 }
 
 .devtools-menulist[open=true],
+.devtools-toolbarbutton[open=true],
+.devtools-toolbarbutton[checked=true] {
+}
+
 .devtools-toolbarbutton[checked=true] {
 }
 
@@ -51,6 +58,22 @@ devtools-menulist:-moz-focusring,
   padding: 2px;
 }
 
+.devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
+}
+
+.devtools-toolbarbutton[type=menu-button]:-moz-locale-dir(rtl) > .toolbarbutton-menubutton-button {
+}
+
+.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 */
 
 /*
@@ -82,7 +105,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) center, top left, top left;
 }
 
 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
@@ -126,3 +149,12 @@ devtools-menulist:-moz-focusring,
   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