X-Git-Url: https://git-public.kairo.at/?a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fcommon.css;h=2bf56f4c9e27addce910faf01fbd0f969ae38c3a;hb=cf89ee7b42ffda5d1e1605a3382c1749dccc37a4;hp=a65d166004158755e7f13f4b48a59fb040691082;hpb=884ab557162de8c96be75129f6d0ee41c4d18c65;p=themes.git

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index a65d1660..2bf56f4c 100644
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -112,7 +112,7 @@ devtools-menulist:-moz-focusring,
   display: none;
 }
 
-.devtools-searchinput > .textbox-input-box > .textbox-input:-moz-placeholder {
+.devtools-searchinput > .textbox-input-box > .textbox-input::-moz-placeholder {
   color: hsl(208,10%,66%);
 }
 */
@@ -137,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