make devtools scrollbars work nicely

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

diff --git a/LCARStrek/global/scrollbars.css b/LCARStrek/global/scrollbars.css
index d1b4f58c1ac69a53b282c5cd480db00a73530ac2..1d3504bdc13106dd31b74110d9f1c8e2365eb6b5 100644 (file)
--- a/LCARStrek/global/scrollbars.css
+++ b/LCARStrek/global/scrollbars.css
@@ -16,13 +16,26 @@ 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 ::::: */
 
 slider {
   height: 13px;
-  background-color: #202024;
+  background-color: #404048; /* #202024;*/
 }
 
 slider[orient="vertical"] {
@@ -40,6 +53,15 @@ scrollbarbutton {
   min-height: 13px;
 }
 
+scrollbar:not([orient="vertical"]) > scrollbarbutton {
+  min-width: 16px;
+}
+
+scrollbar[orient="vertical"] > scrollbarbutton {
+  min-height: 16px;
+}
+
+
 /* ::::: thumb ::::: */
 
 thumb {
@@ -69,19 +91,20 @@ 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 {
   background-color: #C09070;
-  margin: 0px;
 }
 
 scrollbarbutton:hover:active,
 scrollbarbutton[active="true"] {
-  padding-top: 2px;
-  padding-bottom: 0px;
-  -moz-padding-start: 2px;
-  -moz-padding-end: 0px;
+  background-position: calc(50% + 1px) calc(50% + 1px);
 }
 
 scrollbarbutton:hover {
@@ -89,18 +112,22 @@ scrollbarbutton:hover {
 }
 
 scrollbarbutton:hover:active {
-  background-color: #FF0000;
+  background-color: #FF9F00;
 }
 
 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 ::::: */
 
@@ -115,13 +142,14 @@ scrollcorner {
 
 scrollbarbutton[type="increment"] {
   background-image: url("chrome://global/skin/scrollbar/arrow-right.png");
-  border-radius: 0 50% 50% 0;
-  -moz-border-start: 3px solid #000000;
+  border-radius: 0 300px 300px 0;
+  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 50% 50%;
+  border-radius: 0 0 300px 300px;
+  border-inline-start: none;
   border-top: 3px solid #000000;
 }
 
@@ -129,13 +157,14 @@ scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
 
 scrollbarbutton[type="decrement"] {
   background-image: url("chrome://global/skin/scrollbar/arrow-left.png");
-  border-radius: 50% 0 0 50%;
-  -moz-border-end: 3px solid #000000;
+  border-radius: 300px 0 0 300px;
+  border-inline-end: 3px solid #000000;
 }
 
 scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
   background-image: url("chrome://global/skin/scrollbar/arrow-up.png");
-  border-radius: 50% 50% 0 0;
+  border-radius: 300px 300px 0 0;
+  border-inline-end: none;
   border-bottom: 3px solid #000000;
 }
 
@@ -202,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")
   }
 
 }