X-Git-Url: https://git-public.kairo.at/?a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fcommon.css;h=68d094fcc1929e5545def2b2ccbb249ed0dfe7d8;hb=270cbf0c786cf69c16cdfeccc4ff73f9043b0f06;hp=3d73fe4694fcd2690d877a296e0e7edf5fd334a7;hpb=fcfb76ce3816425323e0fed62ea96494d2c98272;p=themes.git

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index 3d73fe46..68d094fc 100644
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -71,8 +71,6 @@ devtools-menulist:-moz-focusring,
 
 .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;
 }
 
@@ -139,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