make devtools work with 25 trunk

[themes.git] / LCARStrek / browser / devtools / common.css

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index 7831a2b7d8c3cb3ccc9a64418ad75c5a4fe9558a..506d60d9d598bdfa0066b2b8a90d868b95f74ff6 100644 (file)
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -261,18 +261,6 @@ devtools-menulist:-moz-focusring,
 .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 */