make devtools scrollbars work nicely

[themes.git] / LCARStrek / global / scrollbars.css

diff --git a/LCARStrek/global/scrollbars.css b/LCARStrek/global/scrollbars.css
index 845837f4d6644309dc8b160fabc5d601324d2b79..1d3504bdc13106dd31b74110d9f1c8e2365eb6b5 100644 (file)
--- a/LCARStrek/global/scrollbars.css
+++ b/LCARStrek/global/scrollbars.css
@@ -16,6 +16,19 @@ scrollbar {
   cursor: default;
   background-color: #000000;
   border-radius: 50%;
+  pointer-events: auto;
+}
+
+@media all and (-moz-overlay-scrollbars) {
+  scrollbar[root="true"] {
+    position: relative;
+    z-index: 2147483647; /* largest positive value of a signed 32-bit integer */
+  }
+
+  scrollbar:not([active="true"]),
+  scrollbar[disabled="true"] {
+    visibility: hidden;
+  }
 }
 
 /* ::::: slider ::::: */
@@ -78,6 +91,11 @@ thumb[orient="horizontal"][disabled="true"] {
   background-image: url("chrome://global/skin/scrollbar/thumb-horiz-grip-disabled.gif");
 }
 
+/* keep clickthrough scrollbars in e.g. devtoools with a simpler thumb */
+scrollbar[clickthrough="always"] > slider > thumb {
+  background-image: none;
+}
+
 /* ::::: scrollbar button ::::: */
 
 scrollbarbutton {
@@ -101,11 +119,15 @@ scrollbarbutton[disabled="true"] {
   background-color: #402858 !important;
 }
 
-/* XXX - scrollbar.xml always grabs the OS settings and we don't want that */
+/* XXX - scrollbar.xml always grabs the OS settings and we don't want that (but keep clickthrough scrollbars in e.g. devtoools working) */
 scrollbarbutton[sbattr="scrollbar-up-bottom"],
 scrollbarbutton[sbattr="scrollbar-down-top"] {
   display: none;
 }
+scrollbar:not([clickthrough="always"]) > scrollbarbutton[sbattr="scrollbar-up-top"],
+scrollbar:not([clickthrough="always"]) > scrollbarbutton[sbattr="scrollbar-down-bottom"] {
+  display: -moz-box !important;
+}
 
 /* ::::: square at the corner of two scrollbars ::::: */
 
@@ -121,13 +143,13 @@ scrollcorner {
 scrollbarbutton[type="increment"] {
   background-image: url("chrome://global/skin/scrollbar/arrow-right.png");
   border-radius: 0 300px 300px 0;
-  -moz-border-start: 3px solid #000000;
+  border-inline-start: 3px solid #000000;
 }
 
 scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
   background-image: url("chrome://global/skin/scrollbar/arrow-down.png");
   border-radius: 0 0 300px 300px;
-  -moz-border-start: none;
+  border-inline-start: none;
   border-top: 3px solid #000000;
 }
 
@@ -136,13 +158,13 @@ scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
 scrollbarbutton[type="decrement"] {
   background-image: url("chrome://global/skin/scrollbar/arrow-left.png");
   border-radius: 300px 0 0 300px;
-  -moz-border-end: 3px solid #000000;
+  border-inline-end: 3px solid #000000;
 }
 
 scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
   background-image: url("chrome://global/skin/scrollbar/arrow-up.png");
   border-radius: 300px 300px 0 0;
-  -moz-border-end: none;
+  border-inline-end: none;
   border-bottom: 3px solid #000000;
 }
 
@@ -209,24 +231,24 @@ scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
 
   html|div scrollbarbutton[type="increment"] {
     -moz-appearance: scrollbarbutton-right;
-    background-image: url("chrome://global/skin/arrow/arrow-rit.gif")
+    background-image: url("chrome://global/skin/scrollbar/arrow-right.png")
   }
 
   html|div scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
     -moz-appearance: scrollbarbutton-down;
-    background-image: url("chrome://global/skin/arrow/arrow-dn.gif")
+    background-image: url("chrome://global/skin/scrollbar/arrow-down.png")
   }
 
   /* ..... decrement .... */
 
   html|div scrollbarbutton[type="decrement"] {
     -moz-appearance: scrollbarbutton-left;
-     background-image: url("chrome://global/skin/arrow/arrow-lft.gif")
+     background-image: url("chrome://global/skin/scrollbar/arrow-left.png")
   }
 
   html|div scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
     -moz-appearance: scrollbarbutton-up;
-     background-image: url("chrome://global/skin/arrow/arrow-up.gif")
+     background-image: url("chrome://global/skin/scrollbar/arrow-up.png")
   }
 
 }