new color scheme adaptions to menubars and toolbars
[themes.git] / LCARStrek / browser / devtools / common.css
index a65d166004158755e7f13f4b48a59fb040691082..68d094fcc1929e5545def2b2ccbb249ed0dfe7d8 100644 (file)
@@ -137,15 +137,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