pointer-events: auto;
}
-scrollbar[root="true"] {
- position: relative;
- z-index: 2147483647; /* largest positive value of a signed 32-bit integer */
-}
-
@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;
background-color: #402858 !important;
}
-/* XXX - scrollbar.xml always grabs the OS settings and we don't want that */
+/* XXX - override minimal-xul.css/scrollbar.xml which always grabs the OS settings and we don't want that */
scrollbarbutton[sbattr="scrollbar-up-bottom"],
scrollbarbutton[sbattr="scrollbar-down-top"] {
display: none;
}
+/* override minimal-xul.css */
+scrollbarbutton[sbattr="scrollbar-up-top"],
+scrollbarbutton[sbattr="scrollbar-down-bottom"],
+scrollbarbutton[sbattr="scrollbar-up-top"]:not(:-moz-system-metric(scrollbar-start-backward)),
+scrollbarbutton[sbattr="scrollbar-down-bottom"]:not(:-moz-system-metric(scrollbar-end-forward)) {
+ display: -moz-box;
+}
/* ::::: square at the corner of two scrollbars ::::: */
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;
}
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;
}