X-Git-Url: https://git-public.kairo.at/?a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fcommon.css;h=2bf56f4c9e27addce910faf01fbd0f969ae38c3a;hb=cf89ee7b42ffda5d1e1605a3382c1749dccc37a4;hp=3d73fe4694fcd2690d877a296e0e7edf5fd334a7;hpb=fcfb76ce3816425323e0fed62ea96494d2c98272;p=themes.git diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css index 3d73fe46..2bf56f4c 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; } @@ -114,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%); } */ @@ -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