fifth part of syncing LCARStrek with Firefox 42-44 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 bbe0e341fa4b61bb024d35dc4d1c10018de8726b..dfe21985e6e5fb7ad08f6395fac6d19d7a0d54c1 100644 (file)
--- a/LCARStrek/browser/devtools/dark-theme.css
+++ b/LCARStrek/browser/devtools/dark-theme.css
@@ -55,6 +55,7 @@
   /* Colors used in Graphs, like performance tools. Mostly similar to some "highlight-*" colors. */
   --theme-graphs-green: #008484;
   --theme-graphs-blue: #9C9CFF;
+  --theme-graphs-bluegrey: #C09070;
   --theme-graphs-purple: #C09070;
   --theme-graphs-yellow: #FFCF00;
   --theme-graphs-red: #FF0000;
@@ -357,7 +358,7 @@ div.CodeMirror span.eval-text {
   background-position: -14px 0;
 }
 
-@media (min-resolution: 1.25dppx) {
+@media (min-resolution: 1.1dppx) {
   .theme-twisty, .theme-checkbox {
     background-image: url("chrome://browser/skin/devtools/controls@2x.png");
   }
@@ -395,7 +396,7 @@ div.CodeMirror span.eval-text {
   margin-left: -4px;
 }
 
-@media (min-resolution: 1.25dppx) {
+@media (min-resolution: 1.1dppx) {
   .theme-tooltip-panel .panel-arrow[side="top"],
   .theme-tooltip-panel .panel-arrow[side="bottom"] {
     list-style-image: url("chrome://browser/skin/devtools/tooltip/arrow-vertical-dark@2x.png");
@@ -655,7 +656,7 @@ div.CodeMirror span.eval-text {
   opacity: 0.5;
 }
 
-@media (min-resolution: 1.25dppx) {
+@media (min-resolution: 1.1dppx) {
   .devtools-button::before {
     background-size: 32px;
   }
@@ -758,7 +759,7 @@ div.CodeMirror span.eval-text {
   -moz-image-region: rect(0, 32px, 16px, 16px);
 }
 
-@media (min-resolution: 1.25dppx) {
+@media (min-resolution: 1.1dppx) {
   .devtools-searchinput {
     background-image: url("magnifying-glass@2x.png");
   }
@@ -840,6 +841,13 @@ div.CodeMirror span.eval-text {
   -moz-border-end-width: 0;
 }
 
+.devtools-sidebar-tabs tabs > tab {
+}
+
+.devtools-sidebar-tabs tabs > tab[selected],
+.devtools-sidebar-tabs tabs > tab[selected] + tab {
+}
+
 .devtools-sidebar-tabs tabs > tab:first-child {
 }
 
@@ -849,9 +857,6 @@ div.CodeMirror span.eval-text {
 .devtools-sidebar-tabs tabs > tab:hover:active {
 }
 
-.devtools-sidebar-tabs tabs > tab[selected] + tab {
-}
-
 .devtools-sidebar-tabs tabs > tab[selected] + tab:hover {
 }
 
@@ -1001,7 +1006,7 @@ div.CodeMirror span.eval-text {
   background-image: url("chrome://browser/skin/devtools/command-rulers.png");
 }
 
-@media (min-resolution: 1.25dppx) {
+@media (min-resolution: 1.1dppx) {
   #command-button-paintflashing > image {
     background-image: url("chrome://browser/skin/devtools/command-paintflashing@2x.png");
   }