second part of syncing LCARStrek with Firefox 45-48 devtools theme changes

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

diff --git a/LCARStrek/devtools/dark-theme.css b/LCARStrek/devtools/dark-theme.css
index 95061a6ad5e2538bc296ef5e5866aa470ee47580..f016464e1ac52bdfd4270b33fcadbd36f0027764 100644 (file)
--- a/LCARStrek/devtools/dark-theme.css
+++ b/LCARStrek/devtools/dark-theme.css
@@ -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) {