X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fdark-theme.css;h=2b07d1ba74d1a3ddef0f2dca44946c05d19e96df;hp=a34a8b17c640031e6b6731fd738134985a47ce90;hb=3d64e0cebebe213f541634b9a0b2c6e7ba84fcfb;hpb=138df17b6765b1a71197ccf5602eb9f87fbef5f4

diff --git a/LCARStrek/browser/devtools/dark-theme.css b/LCARStrek/browser/devtools/dark-theme.css
index a34a8b17..2b07d1ba 100644
--- a/LCARStrek/browser/devtools/dark-theme.css
+++ b/LCARStrek/browser/devtools/dark-theme.css
@@ -100,6 +100,15 @@
   background-color: #9C9CFF;
 }
 
+.cm-s-mozilla .cm-unused-line {
+  text-decoration: line-through;
+  -moz-text-decoration-color: #8050B0;
+}
+
+.cm-s-mozilla .cm-executed-line {
+  background-color: #404000;
+}
+
 .theme-fg-color3,
 .cm-s-mozilla .cm-builtin,
 .cm-s-mozilla .cm-tag,
@@ -343,10 +352,6 @@ div.CodeMirror span.eval-text {
   border-bottom: 1px solid #A09090;
 }
 
-.theme-tooltip-panel .devtools-tooltip-font-previewer-text {
-  color: FF9F00;
-}
-
 .theme-tooltip-panel .devtools-tooltip-simple-text:last-child {
  border-bottom: 0;
 }
@@ -622,10 +627,6 @@ devtools-menulist:-moz-focusring,
  * Rules that apply to the global toolbox like command buttons,
  * devtools tabs, docking buttons, etc. */
 
-#toolbox-controls {
-  margin: 0 2px;
-}
-
 #toolbox-controls > toolbarbutton,
 #toolbox-dock-buttons > toolbarbutton {
   min-width: 16px;
@@ -667,7 +668,11 @@ devtools-menulist:-moz-focusring,
 }
 
 #toolbox-controls-separator {
-  -moz-margin-start: 4px;
+  width: 2px;
+}
+
+#toolbox-controls-separator[invisible] {
+  visibility: hidden;
 }
 
 /* Command buttons */
@@ -786,12 +791,6 @@ devtools-menulist:-moz-focusring,
   border-radius: 8px 8px 0 0;
 }
 
-.devtools-tab:first-child {
-}
-
-.devtools-tab:last-child {
-}
-
 .devtools-tab > image {
   -moz-margin-end: 0px;
 /*  -moz-margin-start: 4px; */
@@ -799,10 +798,6 @@ devtools-menulist:-moz-focusring,
   width: 16px; /* Prevents collapse during theme switching */
 }
 
-#toolbox-tab-options > image {
-/*  margin: 0 8px; */
-}
-
 .devtools-tab:hover > image {
 }
 
@@ -860,6 +855,20 @@ devtools-menulist:-moz-focusring,
   visibility: collapse;
 }
 
+/* The options tab is special - it doesn't have the same parent
+   as the other tabs (toolbox-option-container vs toolbox-tabs) */
+#toolbox-option-container .devtools-tab:not([selected]) {
+/*  background-color: transparent;*/
+}
+#toolbox-option-container .devtools-tab {
+/*  border-color: transparent;
+  border-width: 0;
+  -moz-padding-start: 1px;*/
+}
+#toolbox-tab-options > image {
+/*  margin: 0 8px;*/
+}
+
 .hidden-labels-box:not(.visible) > label,
 .hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
   display: none;