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

diff --git a/LCARStrek/browser/devtools/dark-theme.css b/LCARStrek/browser/devtools/dark-theme.css
index cadd3429..2b07d1ba 100644
--- a/LCARStrek/browser/devtools/dark-theme.css
+++ b/LCARStrek/browser/devtools/dark-theme.css
@@ -25,7 +25,8 @@
   background-color: rgba(0,0,0,0.5);
 }
 
-.theme-selected {
+.theme-selected,
+.CodeMirror-hint-active {
   background: #004242;
   color: #FF9F00; /* Light foreground text */
 }
@@ -45,7 +46,8 @@
  * failures in debug builds.
  */
 .theme-link:visited,
-.cm-s-mozilla .cm-link:visited { /* original: blue */
+.cm-s-mozilla .cm-link:visited,
+.CodeMirror-Tern-type { /* original: blue */
   color: #3333FF;
 }
 
@@ -58,6 +60,10 @@
   color: #A09090;
 }
 
+.CodeMirror-Tern-completion-unknown:before {
+  background-color: #A09090;
+}
+
 .theme-gutter {
   background-color: #000000;
   color: #FF9F00;
@@ -76,6 +82,10 @@
   color: #008484;
 }
 
+.CodeMirror-Tern-completion-number:before {
+  background-color: #008484;
+}
+
 .theme-fg-color2,
 .cm-s-mozilla .cm-attribute,
 .cm-s-mozilla .cm-variable,
@@ -86,6 +96,19 @@
   color: #9C9CFF;
 }
 
+.CodeMirror-Tern-completion-object:before {
+  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,
@@ -95,6 +118,10 @@
   color: #E7ADE7;
 }
 
+.CodeMirror-Tern-completion-array:before {
+  background-color: #E7ADE7;
+}
+
 .theme-fg-color4 { /* original: purple/violet */
   color: #C09070;
 }
@@ -108,10 +135,16 @@
 .theme-fg-color6,
 .cm-s-mozilla .cm-string,
 .cm-s-mozilla .cm-string-2,
-.variable-or-property .token-string { /* original: Orange */
+.variable-or-property .token-string,
+.CodeMirror-Tern-farg { /* original: Orange */
   color: #E7ADE7;
 }
 
+.CodeMirror-Tern-completion-string:before,
+.CodeMirror-Tern-completion-fn:before {
+  background-color: #E7ADE7;
+}
+
 .theme-fg-color7,
 .cm-s-mozilla .cm-atom,
 .cm-s-mozilla .cm-quote,
@@ -122,6 +155,10 @@
   color: #FF0000;
 }
 
+.CodeMirror-Tern-completion-bool:before {
+  background-color: #FF0000;
+}
+
 .variable-or-property .token-domnode {
   font-weight: bold;
 }
@@ -315,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;
 }
@@ -335,6 +368,16 @@ div.CodeMirror span.eval-text {
   color: #E7ADE7;
 }
 
+.CodeMirror-Tern-fname {
+  color: #A09090;
+}
+
+.CodeMirror-hints,
+.CodeMirror-Tern-tooltip {
+  background-color: #000000;
+  color: #FF9F00;
+}
+
 /* === BEGIN toolbars.inc.css === */
 
 .devtools-toolbar {
@@ -584,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;
@@ -629,7 +668,11 @@ devtools-menulist:-moz-focusring,
 }
 
 #toolbox-controls-separator {
-  -moz-margin-start: 4px;
+  width: 2px;
+}
+
+#toolbox-controls-separator[invisible] {
+  visibility: hidden;
 }
 
 /* Command buttons */
@@ -748,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; */
@@ -761,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 {
 }
 
@@ -822,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;