X-Git-Url: https://git-public.kairo.at//?a=blobdiff_plain;f=LCARStrek%2Fdevtools%2Fdark-theme.css;h=bec697194dc0efd7973fb707538ae329c1382e04;hb=7d6161c5de5eb8284455c6ca486f0f51b51a1618;hp=95061a6ad5e2538bc296ef5e5866aa470ee47580;hpb=dadba0f24ba2459f70e098788b20b0e4ba96a7d2;p=themes.git

diff --git a/LCARStrek/devtools/dark-theme.css b/LCARStrek/devtools/dark-theme.css
index 95061a6a..bec69719 100644
--- a/LCARStrek/devtools/dark-theme.css
+++ b/LCARStrek/devtools/dark-theme.css
@@ -68,13 +68,13 @@ body, html {
 }
 
 .theme-gutter {
-  background-color: #000000;
+  background-color: var(--theme-tab-toolbar-background);
   color: var(--theme-content-color3);
-  border-color: #9C9CFF;
+  border-color: var(--theme-splitter-color);
 }
 
-.theme-separator { /* original: grey */
-  border-color: #8050B0;
+.theme-separator {
+  border-color: var(--theme-splitter-color);
 }
 
 .theme-fg-color1,
@@ -170,7 +170,7 @@ body, html {
 .devtools-toolbar,
 .devtools-sidebar-tabs tabs,
 .devtools-sidebar-alltabs,
-.CodeMirror-dialog { /* General toolbar styling */
+.cm-s-mozilla .CodeMirror-dialog { /* General toolbar styling */
 /*  color: var(--theme-body-color-alt);
   background-color: var(--theme-toolbar-background);*/
 }
@@ -196,14 +196,13 @@ body, html {
  * Best effort to match the existing theme, some of the colors
  * are duplicated here to prevent weirdness in the main theme. */
 
-.CodeMirror,
 .CodeMirror.cm-s-mozilla { /* Inherit platform specific font sizing and styles */
   font-family: inherit;
   font-size: inherit;
   background: transparent;
 }
 
-.CodeMirror pre,
+.CodeMirror.cm-s-mozilla pre,
 .cm-s-mozilla .cm-variable-2,
 .cm-s-mozilla .cm-variable-3,
 .cm-s-mozilla .cm-operator,
@@ -327,24 +326,44 @@ div.CodeMirror span.eval-text {
 
 /* Overring panel arrow images to fit with our light and dark themes */
 /*
-.theme-tooltip-panel .panel-arrow[side="top"] {
-  list-style-image: url("chrome://devtools/skin/tooltip/arrow-vertical-dark.png");
-  margin-bottom: -4px;
+.theme-tooltip-panel .panel-arrow {
+  --arrow-margin: -4px;
+}
+
+:root[platform="win"] .theme-tooltip-panel .panel-arrow {
+  --arrow-margin: -7px;
 }
 
+.theme-tooltip-panel .panel-arrow[side="top"],
 .theme-tooltip-panel .panel-arrow[side="bottom"] {
   list-style-image: url("chrome://devtools/skin/tooltip/arrow-vertical-dark.png");
-  margin-top: -4px;
+  / !important is needed to override the popup.css rules in toolkit/themes /
+  width: 39px !important;
+  height: 16px !important;
 }
 
-.theme-tooltip-panel .panel-arrow[side="left"] {
+.theme-tooltip-panel .panel-arrow[side="left"],
+.theme-tooltip-panel .panel-arrow[side="right"] {
   list-style-image: url("chrome://devtools/skin/tooltip/arrow-horizontal-dark.png");
-  margin-right: -4px;
+  / !important is needed to override the popup.css rules in toolkit/themes /
+  width: 16px !important;
+  height: 39px !important;
+}
+
+.theme-tooltip-panel .panel-arrow[side="top"] {
+  margin-bottom: var(--arrow-margin);
+}
+
+.theme-tooltip-panel .panel-arrow[side="bottom"] {
+  margin-top: var(--arrow-margin);
+}
+
+.theme-tooltip-panel .panel-arrow[side="left"] {
+  margin-right: var(--arrow-margin);
 }
 
 .theme-tooltip-panel .panel-arrow[side="right"] {
-  list-style-image: url("chrome://devtools/skin/tooltip/arrow-horizontal-dark.png");
-  margin-left: -4px;
+  margin-left: var(--arrow-margin);
 }
 
 @media (min-resolution: 1.1dppx) {