X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fshadereditor.css;h=5245428738a43a5ab426ea499da4724cfa302441;hp=86dae07030fc6277f7a146d7a65cc46fc1675ced;hb=5497455b20bc5f74484137eae68e957a9d3ef722;hpb=45dc7657b767fde2dc6b5d3ec71379bf5f624007

diff --git a/LCARStrek/browser/devtools/shadereditor.css b/LCARStrek/browser/devtools/shadereditor.css
index 86dae070..52454287 100644
--- a/LCARStrek/browser/devtools/shadereditor.css
+++ b/LCARStrek/browser/devtools/shadereditor.css
@@ -12,9 +12,8 @@ window {
 
 .notice-container {
   margin-top: -50vh;
-
-  background-color: #000000;
-  color: #FF9F00;
+  background-color: var(--theme-toolbar-background);
+  color: var(--theme-body-color);
 }
 
 #reload-notice {
@@ -25,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 {
@@ -64,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;
@@ -76,6 +61,12 @@ window {
   border: 0;
 }
 
+@media (min-resolution: 1.25dppx) {
+  .side-menu-widget-item-checkbox .checkbox-check {
+    background-image: url("itemToggle@2x.png");
+  }
+}
+
 .side-menu-widget-item-checkbox[checked] .checkbox-check {
   background-position: 0 0;
 }
@@ -83,18 +74,18 @@ window {
 /* 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 */