second part of syncing LCARStrek with Firefox 38 windows theme changes

[themes.git] / LCARStrek / browser / devtools / shadereditor.css

diff --git a/LCARStrek/browser/devtools/shadereditor.css b/LCARStrek/browser/devtools/shadereditor.css
index 4d14b77bb9a6236f20b52f3a54a1eecc8e2aa8ce..9cdc3e4b41c5520790ba3b735810db9202f9c543 100644 (file)
--- a/LCARStrek/browser/devtools/shadereditor.css
+++ b/LCARStrek/browser/devtools/shadereditor.css
@@ -8,20 +8,12 @@ window {
   padding: 0;
 }
 
-#body {
-  background-color: #000000;
-}
-
-#content {
-  background-color: #000000;
-}
-
 /* Reload and waiting notices */
 
 .notice-container {
-  background-color: #000000;
   margin-top: -50vh;
-  color: #FF9F00;
+  background-color: var(--theme-toolbar-background);
+  color: var(--theme-body-color);
 }
 
 #reload-notice {
@@ -32,19 +24,6 @@ window {
   font-size: 110%;
 }
 
-#waiting-notice::before {
-  display: inline-block;
-  content: "";
-  background: url("chrome://global/skin/icons/loading_16.png") center no-repeat;
-  width: 16px;
-  height: 16px;
-  -moz-margin-end: 6px;
-}
-
-#requests-menu-reload-notice-button {
-  min-height: 2em;
-}
-
 /* Shaders pane */
 
 #shaders-pane {
@@ -71,9 +50,8 @@ window {
 }
 
 .side-menu-widget-item-checkbox .checkbox-check {
-  -moz-appearance: none;
-  background: none;
   background-image: url("itemToggle.png");
+  background-color: transparent;
   background-repeat: no-repeat;
   background-clip: content-box;
   background-size: 32px 16px;
@@ -83,29 +61,31 @@ window {
   border: 0;
 }
 
-.side-menu-widget-item-checkbox[checked] .checkbox-check {
-  background-position: 0 0;
+@media (min-resolution: 2dppx) {
+  .side-menu-widget-item-checkbox .checkbox-check {
+    background-image: url("itemToggle@2x.png");
+  }
 }
 
-.side-menu-widget-item-checkbox:not([checked]) ~ .side-menu-widget-item-contents {
-  color: #8050B0;
+.side-menu-widget-item-checkbox[checked] .checkbox-check {
+  background-position: 0 0;
 }
 
 /* Shader source editors */
 
 #editors-splitter {
-  border-color: #000000;
+  border-color: var(--theme-contrastsidebar-bordercolor);
 }
 
 .editor-label {
-  background-color: #A09090;
   padding: 1px 12px;
-  color: #000000;
+  background: var(--theme-contrastsidebar-background);
+  color: var(--theme-contrastsidebar-color);
 }
 
 .editor-label[selected] {
-  background-color: #008484;
-  color: #FFCF00;
+  background-color: var(--theme-selection-background);
+  color: var(--theme-selection-color);
 }
 
 /* Responsive sidebar */