2018-11-01 23:32:17 +08:00
|
|
|
/*
|
2024-09-09 21:57:16 +08:00
|
|
|
Copyright 2018-2024 New Vector Ltd.
|
2018-11-01 23:32:17 +08:00
|
|
|
|
2024-09-09 21:57:16 +08:00
|
|
|
SPDX-License-Identifier: AGPL-3.0-only OR GPL-3.0-only
|
|
|
|
Please see LICENSE files in the repository root for full details.
|
2018-11-01 23:32:17 +08:00
|
|
|
*/
|
|
|
|
|
2022-07-27 21:39:29 +08:00
|
|
|
/* make any scrollbar grey and thin */
|
2020-03-30 18:41:05 +08:00
|
|
|
html {
|
2021-11-10 17:46:33 +08:00
|
|
|
scrollbar-color: $scrollbar-thumb-color transparent;
|
2020-03-30 18:41:05 +08:00
|
|
|
}
|
2022-07-27 21:39:29 +08:00
|
|
|
/* scrollbar-width is not inherited (but -color is, why?!), */
|
|
|
|
/* so declare it on every element */
|
2020-03-30 18:41:05 +08:00
|
|
|
* {
|
|
|
|
scrollbar-width: thin;
|
|
|
|
}
|
|
|
|
|
|
|
|
::-webkit-scrollbar {
|
|
|
|
width: 6px;
|
|
|
|
height: 6px;
|
|
|
|
}
|
|
|
|
|
|
|
|
::-webkit-scrollbar-thumb {
|
|
|
|
border-radius: 3px;
|
|
|
|
background-color: $scrollbar-thumb-color;
|
|
|
|
}
|
|
|
|
|
2022-07-27 21:39:29 +08:00
|
|
|
/* make auto-hide scrollbars not transparent again on hover */
|
2020-03-30 18:41:05 +08:00
|
|
|
.mx_AutoHideScrollbar:hover {
|
2021-11-10 17:46:33 +08:00
|
|
|
scrollbar-color: $scrollbar-thumb-color transparent;
|
2020-03-30 18:41:05 +08:00
|
|
|
|
|
|
|
&::-webkit-scrollbar-thumb {
|
|
|
|
background-color: $scrollbar-thumb-color;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-07-27 21:39:29 +08:00
|
|
|
/* make scrollbars transparent for autohide scrollbars */
|
2018-11-01 23:32:17 +08:00
|
|
|
.mx_AutoHideScrollbar {
|
2018-11-06 17:20:04 +08:00
|
|
|
overflow-x: hidden;
|
2018-11-01 23:32:17 +08:00
|
|
|
overflow-y: auto;
|
2022-12-12 19:24:14 +08:00
|
|
|
overflow-y: overlay; /* where supported */
|
2018-11-01 23:32:17 +08:00
|
|
|
-ms-overflow-style: -ms-autohiding-scrollbar;
|
|
|
|
|
2020-03-26 02:24:32 +08:00
|
|
|
&::-webkit-scrollbar {
|
|
|
|
background-color: transparent;
|
2018-11-12 19:57:21 +08:00
|
|
|
}
|
2018-11-01 23:32:17 +08:00
|
|
|
|
2020-03-26 02:24:32 +08:00
|
|
|
&::-webkit-scrollbar-thumb {
|
|
|
|
background-color: transparent;
|
2018-11-12 19:57:21 +08:00
|
|
|
}
|
|
|
|
|
2020-03-26 02:24:32 +08:00
|
|
|
scrollbar-color: transparent transparent;
|
2019-01-22 02:01:18 +08:00
|
|
|
}
|