.devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
.devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
- -moz-appearance: none !important;
- list-style-image: url("chrome://browser/skin/devtools/dropmarker.png");
-moz-box-align: center;
}
/* 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