fifth part of syncing LCARStrek with Firefox 36 windows theme changes

[themes.git] / LCARStrek / browser / devtools / dark-theme.css

diff --git a/LCARStrek/browser/devtools/dark-theme.css b/LCARStrek/browser/devtools/dark-theme.css
index 7193fc78ef571ef56bfddafc3677febfa43095d5..0d34733637be4fb911d9cd5a47e5b89f701e44d0 100644 (file)
--- a/LCARStrek/browser/devtools/dark-theme.css
+++ b/LCARStrek/browser/devtools/dark-theme.css
@@ -11,8 +11,9 @@
   --theme-sidebar-background: #000000;
   --theme-contrast-background: #402800;
   --theme-contrast-border: #A09090;
+  --theme-contrast-background2: #795900;
 
-  --theme-tab-toolbar-background: #.252c33;
+/*  --theme-tab-toolbar-background: #.252c33; */
   --theme-toolbar-background: #000000;
   --theme-hover-background: #FFCF00;
   --theme-hover-color: #000000;
@@ -437,7 +438,7 @@ div.CodeMirror span.eval-text {
 
 .devtools-toolbar checkbox {
   /* LCARStrek checkbox colors don't work well against toolbar background */
-  background-color: #000000;
+  background-color: var(--theme-toolbar-background);
   padding: 2px;
 }
 .devtools-toolbar checkbox .checkbox-check {
@@ -455,7 +456,7 @@ div.CodeMirror span.eval-text {
 
 .devtools-menulist:-moz-focusring,
 .devtools-toolbarbutton:-moz-focusring {
-  outline: 1px dotted #008484;
+  outline: 1px dotted var(--theme-selection-color);
 }
 
 .devtools-toolbarbutton[standalone] {
@@ -537,7 +538,7 @@ div.CodeMirror span.eval-text {
 .devtools-toolbarbutton[checked=true],
 #toolbox-buttons .devtools-toolbarbutton[text-as-image][checked] {
 /*  background: rgba(29, 79, 115, .7); / Select highlight blue /
-  color: #f5f7fa;*/
+  color: var(--theme-selection-color); */
 }
 
 .devtools-menulist[open=true],
@@ -548,7 +549,7 @@ div.CodeMirror span.eval-text {
 .devtools-toolbarbutton[checked=true]:hover,
 #toolbox-buttons .devtools-toolbarbutton[text-as-image][checked] {
 /*  background: rgba(29, 79, 115, .8); / Select highlight blue /
-  color: #f5f7fa; */
+  color: var(--theme-selection-color); */
 }
 
 .devtools-toolbarbutton[checked=true]:hover {
@@ -620,7 +621,7 @@ div.CodeMirror span.eval-text {
 }
 
 .devtools-no-search-result {
-  border-color: #FF0000 !important;
+  border-color: var(--theme-highlight-red) !important;
 }
 
 /* Close button */
@@ -906,13 +907,13 @@ div.CodeMirror span.eval-text {
 
 .devtools-tab:hover,
 .devtools-tab:hover:active {
-  background-color: #FFCF00;
-  color: #000000;
+  background-color: var(--theme-hover-background);
+  color: var(--theme-hover-color);
 }
 
 .devtools-tab[selected] {
-  background-color: #008484;
-  color: #000000;
+  background-color: var(--theme-selection-background);
+  color: var(--theme-selection-color);
 }
 
 .devtools-tab > spacer {