X-Git-Url: https://git-public.kairo.at/?a=blobdiff_plain;f=LCARStrek%2Fdevtools%2Fdark-theme.css;h=e99970d9bc387e213788d38818979a1f2fd34f31;hb=873a46f8ee13543ba7557d851b9ab4bc8fb18784;hp=58ae01dd591f8b34e6b3f11da768f4d35b47bbfc;hpb=dc9d5d64a3f915cb832f43050545b432f33504f7;p=themes.git

diff --git a/LCARStrek/devtools/dark-theme.css b/LCARStrek/devtools/dark-theme.css
index 58ae01dd..e99970d9 100644
--- a/LCARStrek/devtools/dark-theme.css
+++ b/LCARStrek/devtools/dark-theme.css
@@ -3,6 +3,8 @@
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 
+@import url(common.css);
+
 /* Colors are taken from:
  * https://developer.mozilla.org/en-US/docs/Tools/DevToolsColors.
  * Changes should be kept in sync with commandline.css and commandline.inc.css.
@@ -255,7 +257,8 @@ body, html {
  * Best effort to match the existing theme, some of the colors
  * are duplicated here to prevent weirdness in the main theme. */
 
-.CodeMirror { /* Inherit platform specific font sizing and styles */
+.CodeMirror,
+.CodeMirror.cm-s-mozilla { /* Inherit platform specific font sizing and styles */
   font-family: inherit;
   font-size: inherit;
   background: transparent;
@@ -671,6 +674,18 @@ div.CodeMirror span.eval-text {
   }
 }
 
+:root {
+  --clear-icon-url: url("chrome://devtools/skin/images/clear.svg");
+}
+
+.devtools-button.devtools-clear-icon::before {
+  background-image: var(--clear-icon-url);
+}
+
+.devtools-toolbarbutton.devtools-clear-icon {
+  list-style-image: var(--clear-icon-url);
+}
+
 /* Text input */
 
 .devtools-textinput,
@@ -1081,6 +1096,17 @@ div.CodeMirror span.eval-text {
   color: #FFCF00;
 }
 
+.toolbox-panel {
+  display: -moz-box;
+  -moz-box-flex: 1;
+  visibility: collapse;
+}
+
+#toolbox-deck[selectedIndex] > .toolbox-panel, /* workaround for Firefox 47 and older */
+.toolbox-panel[selected] {
+  visibility: visible;
+}
+
 .devtools-tab {
   min-width: 32px;
   max-width: 110px;