.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 {
}
.devtools-menulist[open=true],
+.devtools-toolbarbutton[open=true],
+.devtools-toolbarbutton[checked=true] {
+}
+
.devtools-toolbarbutton[checked=true] {
}
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 */
/*
}
.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 {
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