Revision control

Copy as Markdown

Other Tools

/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
/* ===== scrollbars.css =================================================
== Styles used by XUL scrollbar-related elements.
======================================================================= */
@namespace html url("http://www.w3.org/1999/xhtml"); /* namespace for HTML elements */
/* ::::: scrollbar ::::: */
scrollbar {
cursor: default;
}
/* ::::: slider ::::: */
slider {
min-width: 15px;
min-height: 15px;
background: url("chrome://global/skin/scrollbar/slider-hrz.png") repeat-x;
}
slider[orient="vertical"] {
background: url("chrome://global/skin/scrollbar/slider-vrt.png") repeat-y;
}
/* ::::: borders for thumb and buttons ::::: */
thumb,
scrollbarbutton {
border: 1px solid;
border-color: #000000;
background: #B1BBC5 50% 50% no-repeat;
}
thumb:active {
background-color: #C2CCD6;
border-color: #111111;
}
%ifdef MOZ_WIDGET_GTK
scrollbarbutton[sbattr="scrollbar-up-bottom"],
scrollbarbutton[sbattr="scrollbar-down-top"] {
display: none;
}
scrollbarbutton[sbattr="scrollbar-up-top"],
scrollbarbutton[sbattr="scrollbar-down-bottom"] {
display: -moz-box !important;
}
%endif
/* ::::: thumb (horizontal) ::::: */
thumb {
min-height: 18px;
}
thumb[orient="horizontal"] {
min-width: 18px;
}
/* ::::: scrollbar button ::::: */
scrollbarbutton {
width: 15px;
height: 15px;
max-width: 15px;
max-height: 15px;
-moz-box-flex: 1;
}
scrollbarbutton[disabled="true"],
scrollbarbutton[active="true"],
scrollbarbutton:hover:active {
border-color: #000000;
background-color: #9CA8B4;
}
/* ::::: square at the corner of two scrollbars ::::: */
scrollcorner {
width: 15px;
cursor: default;
background-color: #B1BBC5;
}
/* ..... increment .... */
scrollbarbutton[type="increment"] {
}
scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
}
/* ..... decrement .... */
scrollbarbutton[type="decrement"] {
}
scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
}
/* :::::::::::::::::::::::::::::::::::::::::::::::::::::::: */
/* ::::::::::::::::::::: MEDIA PRINT :::::::::::::::::::::: */
/* :::::::::::::::::::::::::::::::::::::::::::::::::::::::: */
@media print {
/* ::::: slider ::::: */
html|div slider {
height: 15px;
background: url("chrome://global/skin/scrollbar/slider-hrz.png") repeat-x;
}
html|div slider[orient="vertical"] {
width: 15px;
background: url("chrome://global/skin/scrollbar/slider-vrt.png") repeat-y;
}
/* ::::: borders for thumb and buttons ::::: */
html|div thumb,
html|div scrollbarbutton {
border: 1px solid;
border-color: #000000;
background: #B1BBC5 50% 50% no-repeat;
}
html|div thumb:active {
background-color: #C2CCD6;
border-color: #111111;
}
/* ::::: thumb (horizontal) ::::: */
html|div thumb {
min-height: 18px;
}
html|div thumb[orient="horizontal"] {
min-width: 18px;
}
/* ::::: scrollbar button ::::: */
html|div scrollbarbutton {
width: 15px;
height: 15px;
}
html|div scrollbarbutton[disabled="true"],
html|div scrollbarbutton[active="true"],
html|div scrollbarbutton:hover:active {
border-color: #000000;
background-color: #9CA8B4;
}
/* ..... increment .... */
html|div scrollbarbutton[type="increment"] {
}
html|div scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
}
/* ..... decrement .... */
html|div scrollbarbutton[type="decrement"] {
}
html|div scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
}
}