2018-11-24 10:39:00 +01:00
|
|
|
html {
|
2018-11-26 22:15:33 +01:00
|
|
|
// Firefox with scrollbar config changes as of 2018-11
|
|
|
|
scrollbar-face-color: #{$scrollbar-face};
|
|
|
|
scrollbar-track-color: #{$scrollbar-track};
|
|
|
|
// Firefox nightly as of 2018-11, new standard version
|
|
|
|
// https://developer.mozilla.org/en-US/docs/Web/CSS/scrollbar-color
|
|
|
|
scrollbar-color: #{$scrollbar-face $scrollbar-track};
|
2018-11-24 10:39:00 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
::-webkit-scrollbar {
|
|
|
|
width: 12px;
|
|
|
|
height: 12px;
|
|
|
|
}
|
|
|
|
|
|
|
|
::-webkit-scrollbar-thumb {
|
2018-11-26 22:15:33 +01:00
|
|
|
background: #{$scrollbar-face};
|
2018-11-24 10:39:00 +01:00
|
|
|
border-radius: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
::-webkit-scrollbar-thumb:hover {
|
2018-11-26 22:15:33 +01:00
|
|
|
background: #{$scrollbar-face-hover};
|
2018-11-24 10:39:00 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
::-webkit-scrollbar-thumb:active {
|
2018-11-26 22:15:33 +01:00
|
|
|
background: #{$scrollbar-face-active};
|
2018-11-24 10:39:00 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
::-webkit-scrollbar-track, ::-webkit-scrollbar-track:hover, ::-webkit-scrollbar-track:active {
|
2018-11-26 22:15:33 +01:00
|
|
|
background: #{$scrollbar-track};
|
2018-11-24 10:39:00 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
::-webkit-scrollbar-corner {
|
|
|
|
background: transparent;
|
2018-11-26 22:15:33 +01:00
|
|
|
}
|