.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;
+/* background: none;
+ border: none; */
}
.devtools-option-toolbarbutton:hover,
.devtools-sidebar-tabs > tabs > tab[selected=true]:hover:active {
}
-/* LCARStrek-specific adaptions */
-
-#profiler-chrome {
- /* HACK for profiler in the dev toolbox in FF 20+. */
- margin: -3px;
-}
-
-#profiler-chrome > box > box > .devtools-toolbar {
- border-bottom: none;
-}
-
-
/********************** shared/devtools/common.inc.css **********************/
/* Autocomplete Popup */