X-Git-Url: https://git-public.kairo.at/?a=blobdiff_plain;ds=sidebyside;f=LCARStrek%2Fbrowser%2Fdevtools%2Fcommon.css;h=021f2532f3770da22cc1b7a3b293d16c9825f365;hb=ef304ad92db0e356f3cf7e7c51a30584d7dbee2f;hp=6cdbe48f4ae2d9a0efa42fb71ed57bad41d80ab5;hpb=37953ab48bd07b740b15610e6b7acb2f10333996;p=themes.git

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index 6cdbe48f..021f2532 100644
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -12,10 +12,13 @@
 .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,12 +32,28 @@ devtools-menulist:-moz-focusring,
 }
 
 .devtools-menulist[open=true],
+.devtools-toolbarbutton[open=true],
+.devtools-toolbarbutton[checked=true] {
+}
+
 .devtools-toolbarbutton[checked=true] {
 }
 
 .devtools-toolbarbutton[checked=true]:hover:active {
 }
 
+.devtools-option-toolbarbutton {
+  list-style-image: url("chrome://browser/skin/devtools/option-icon.png");
+  -moz-image-region: rect(0px 16px 16px 0px);
+  background: none;
+  border: none;
+}
+
+.devtools-option-toolbarbutton:hover,
+.devtools-option-toolbarbutton[open=true] {
+  -moz-image-region: rect(0px 32px 16px 16px);
+}
+
 .devtools-menulist > .menulist-label-box {
   text-align: center;
 }
@@ -51,6 +70,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 */
 
 /*
@@ -68,9 +103,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;
 }
 
@@ -82,14 +117,14 @@ 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 {
   display: none;
 }
 
-.devtools-searchinput > .textbox-input-box > .textbox-input:-moz-placeholder {
+.devtools-searchinput > .textbox-input-box > .textbox-input::-moz-placeholder {
   color: hsl(208,10%,66%);
 }
 */
@@ -114,15 +149,22 @@ devtools-menulist:-moz-focusring,
 /* Splitters */
 
 .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