X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fdark-theme.css;h=38407b5d930233ae1a13166b292431eefe58b7c7;hp=5095b129f732d1c020350031fd5a7f1f2c5c1152;hb=b1dfcf3228675c75fda183c9cd0161c9be5d4047;hpb=a5cb6e534c9872ab3dc646ab44fa35b61775537d

diff --git a/LCARStrek/browser/devtools/dark-theme.css b/LCARStrek/browser/devtools/dark-theme.css
index 5095b129..38407b5d 100644
--- a/LCARStrek/browser/devtools/dark-theme.css
+++ b/LCARStrek/browser/devtools/dark-theme.css
@@ -28,6 +28,7 @@
   --theme-splitter-color: #9C9CFF;
   --theme-comment: #A09090;
 
+  --theme-sidebar-background: #000000;
   --theme-contrastsidebar-background: #A09090;
   --theme-contrastsidebar-color: #000000;
   --theme-contrastsidebar-bordercolor: #000000;
@@ -37,6 +38,7 @@
   --theme-content-color1: #FF9F00;
   --theme-content-color2: #A09090;
   --theme-content-color3: #FF9F00;
+  --theme-content-color4: #9C9CFF;
   --theme-content-disabled: #8050B0;
 
   --theme-text-blue: #3333FF;
@@ -49,6 +51,14 @@
   --theme-highlight-orange: #FF9F00;
   --theme-highlight-red: #FF0000;
   --theme-highlight-pink: #E7ADE7;
+
+  /* Colors used in Graphs, like performance tools. Mostly similar to some "highlight-*" colors. */
+  --theme-graphs-green: #008484;
+  --theme-graphs-blue: #9C9CFF;
+  --theme-graphs-purple: #C09070;
+  --theme-graphs-yellow: #FFCF00;
+  --theme-graphs-red: #FF0000;
+  --theme-graphs-grey: #A09090;
 }
 
 .theme-body {
@@ -347,7 +357,7 @@ div.CodeMirror span.eval-text {
   background-position: -14px 0;
 }
 
-@media (min-resolution: 2dppx) {
+@media (min-resolution: 1.25dppx) {
   .theme-twisty, .theme-checkbox {
     background-image: url("chrome://browser/skin/devtools/controls@2x.png");
   }
@@ -385,7 +395,7 @@ div.CodeMirror span.eval-text {
   margin-left: -4px;
 }
 
-@media (min-resolution: 2dppx) {
+@media (min-resolution: 1.25dppx) {
   .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");
@@ -410,6 +420,12 @@ div.CodeMirror span.eval-text {
 .devtools-searchinput {
   background-color: #000000;
   color: #E7ADE7;
+  border: 1px solid #9C9CFF;
+}
+
+.devtools-textinput:focus,
+.devtools-searchinput:focus {
+  border-color: #008484;
 }
 
 .CodeMirror-Tern-fname {
@@ -591,6 +607,7 @@ div.CodeMirror span.eval-text {
 .devtools-button {
   border: 0 solid var(--theme-splitter-color);
   background: var(--theme-toolbar-background);
+  color: var(--theme-body-color);
   margin: 0;
   padding: 0;
   min-width: 32px;
@@ -633,7 +650,12 @@ div.CodeMirror span.eval-text {
   background-repeat: no-repeat;
 }
 
-@media (min-resolution: 2dppx) {
+.devtools-button[disabled]::before,
+.devtools-button:disabled::before {
+  opacity: 0.5;
+}
+
+@media (min-resolution: 1.25dppx) {
   .devtools-button::before {
     background-size: 32px;
   }
@@ -676,8 +698,8 @@ div.CodeMirror span.eval-text {
 
 /* Searchbox is a div container element for a search input element */
 .devtools-searchbox {
-  display: -moz-box;
-  -moz-box-flex: 1;
+  display: flex;
+  flex: 1;
   position: relative;
 }
 
@@ -736,7 +758,7 @@ div.CodeMirror span.eval-text {
   -moz-image-region: rect(0, 32px, 16px, 16px);
 }
 
-@media (min-resolution: 2dppx) {
+@media (min-resolution: 1.25dppx) {
   .devtools-searchinput {
     background-image: url("magnifying-glass@2x.png");
   }
@@ -818,6 +840,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 {
 }
 
@@ -827,9 +856,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 {
 }
 
@@ -979,7 +1005,7 @@ div.CodeMirror span.eval-text {
   background-image: url("chrome://browser/skin/devtools/command-rulers.png");
 }
 
-@media (min-resolution: 2dppx) {
+@media (min-resolution: 1.25dppx) {
   #command-button-paintflashing > image {
     background-image: url("chrome://browser/skin/devtools/command-paintflashing@2x.png");
   }