mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-01 14:45:29 +00:00
6f8120903d
--HG-- rename : devtools/client/themes/floating-scrollbars.css => devtools/client/themes/floating-scrollbars-dark-theme.css rename : devtools/client/themes/floating-scrollbars.css => devtools/client/themes/floating-scrollbars-responsive-design.css
43 lines
865 B
CSS
43 lines
865 B
CSS
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
|
|
|
|
scrollbar {
|
|
-moz-appearance: none !important;
|
|
position: relative;
|
|
background-color: transparent;
|
|
background-image: none;
|
|
z-index: 2147483647;
|
|
padding: 2px;
|
|
border: none;
|
|
}
|
|
|
|
/* Scrollbar code will reset the margin to the correct side depending on
|
|
where layout actually puts the scrollbar */
|
|
scrollbar[orient="vertical"] {
|
|
margin-left: -10px;
|
|
min-width: 10px;
|
|
max-width: 10px;
|
|
}
|
|
|
|
scrollbar[orient="horizontal"] {
|
|
margin-top: -10px;
|
|
min-height: 10px;
|
|
max-height: 10px;
|
|
}
|
|
|
|
slider {
|
|
-moz-appearance: none !important;
|
|
}
|
|
|
|
thumb {
|
|
-moz-appearance: none !important;
|
|
background-color: rgba(0,0,0,0.2);
|
|
border-radius: 3px;
|
|
border-width: 0px !important;
|
|
border-radius: 3px !important;
|
|
}
|
|
|
|
scrollbar scrollbarbutton,
|
|
scrollbar gripper {
|
|
display: none;
|
|
}
|