some devtools improvements

[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 0d34733637be4fb911d9cd5a47e5b89f701e44d0..dcd62750a2db03efc8c4365e2fefaf117dbe93e0 100644 (file)
--- a/LCARStrek/browser/devtools/dark-theme.css
+++ b/LCARStrek/browser/devtools/dark-theme.css
@@ -17,10 +17,13 @@
   --theme-toolbar-background: #000000;
   --theme-hover-background: #FFCF00;
   --theme-hover-color: #000000;
+  --theme-active-background: #FFCF00;
+  --theme-active-color: #000000;
   --theme-selection-background: #008484;
   --theme-selection-color: #000000;
   --theme-selection-background2: #004242;
   --theme-selection-color2: #FF9F00;
+  --theme-selection-background-semitransparent: rgba(0, 132, 132, .5);
   --theme-splitter-color: #9C9CFF;
   --theme-comment: #A09090;
 
@@ -63,7 +66,7 @@
 }
 
 .theme-bg-darker {
-  background-color: rgba(0,0,0,0.5);
+  background: var(--theme-selection-background-semitransparent);
 }
 
 .theme-selected,
@@ -401,15 +404,6 @@ div.CodeMirror span.eval-text {
  border-bottom: 0;
 }
 
-.devtools-horizontal-splitter {
-/*  border-bottom: 1px solid var(--theme-splitter-color); */
-}
-
-.devtools-side-splitter {
-/*  -moz-border-end: 1px solid var(--theme-splitter-color);
-  border-color: var(--theme-splitter-color); / Needed for responsive container at low width. */
-}
-
 .devtools-textinput,
 .devtools-searchinput {
   background-color: #000000;
@@ -489,6 +483,7 @@ div.CodeMirror span.eval-text {
 }
 
 .devtools-toolbar .devtools-toolbarbutton {
+  -moz-margin-start: 2px;
 }
 
 .devtools-toolbarbutton > .toolbarbutton-icon {
@@ -522,15 +517,15 @@ div.CodeMirror span.eval-text {
 }
 
 /* Button States */
-.devtools-toolbarbutton:hover,
-#toolbox-buttons .devtools-toolbarbutton[text-as-image]:hover,
-.devtools-toolbarbutton[label]:not([text-as-image]):not([type=menu-button]):hover {
+.devtools-toolbarbutton:not([disabled]):hover,
+#toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover,
+.devtools-toolbarbutton:not([disabled])[label]:not([text-as-image]):not([type=menu-button]):hover {
 /*  background: rgba(0, 0, 0, .3); / Splitters */
 }
 
-.devtools-toolbarbutton:hover:active,
-#toolbox-buttons .devtools-toolbarbutton[text-as-image]:hover:active,
-.devtools-toolbarbutton[label]:not([text-as-image]):not([type=menu-button]):hover:active {
+.devtools-toolbarbutton:not([disabled]):hover:active,
+#toolbox-buttons .devtools-toolbarbutton:not([disabled])[text-as-image]:hover:active,
+.devtools-toolbarbutton:not([disabled])[label]:not([text-as-image]):not([type=menu-button]):hover:active {
 /*  background: rgba(0, 0, 0, .4); / Splitters */
 }
 
@@ -579,6 +574,59 @@ div.CodeMirror span.eval-text {
 .devtools-separator + .devtools-toolbarbutton {
 }
 
+/* HTML buttons, similar to toolbar buttons, but work in HTML documents */
+
+.devtools-button {
+  border: 0 solid var(--theme-splitter-color);
+  background: var(--theme-toolbar-background);
+  margin: 0;
+  padding: 0;
+  min-width: 32px;
+  min-height: 18px;
+  /* The icon is absolutely positioned in the button using ::before */
+  position: relative;
+}
+
+.devtools-button[standalone] {
+  min-height: 32px;
+  border-width: 1px;
+}
+
+/* Button States */
+.devtools-button:not([disabled]):hover {
+  background: var(--theme-hover-background);
+  color: var(--theme-hover-color);
+}
+
+.devtools-button:not([disabled]):hover:active {
+  background: var(--theme-active-background);
+  color: var(--theme-active-color);
+}
+
+/* Menu type buttons and checked states */
+.devtools-button[checked] {
+  background: var(--theme-selection-background);
+  color: var(--theme-selection-color);
+}
+
+.devtools-button::before {
+  content: "";
+  display: block;
+  width: 16px;
+  height: 16px;
+  position: absolute;
+  left: 50%;
+  top: 50%;
+  margin: -8px 0 0 -8px;
+  background-repeat: no-repeat;
+}
+
+@media (min-resolution: 2dppx) {
+  .devtools-button::before {
+    background-size: 32px;
+  }
+}
+
 /* Text input */
 
 .devtools-textinput,
@@ -974,4 +1022,13 @@ div.CodeMirror span.eval-text {
   display: none;
 }
 
+.devtools-horizontal-splitter {
+/*  border-bottom: 1px solid var(--theme-splitter-color); */
+}
+
+.devtools-side-splitter {
+/*  -moz-border-end: 1px solid var(--theme-splitter-color);
+  border-color: var(--theme-splitter-color); / Needed for responsive container at low width. */
+}
+
 /* === END toolbars.inc.css === */