1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/* custom CSS to add a border to tab groups
* see also:
* https://github.com/pradyunsg/furo/discussions/633 */
:root {
/* default to '#aaa', which looks okay in both light and dark */
--tabset-border-color: #aaa;
}
/* set the border color to decrease contrast a little on dark theme
* this detection logic is taken from furo, which sets data-theme on the body
* element when the user toggles the color scheme */
@media (prefers-color-scheme: dark) {
body:not([data-theme="light"]) {
--tabset-border-color: #777;
}
}
.sd-tab-set {
border-style: solid;
border-width: 1px;
border-radius: 3px;
border-color: var(--tabset-border-color);
padding: 1px;
}
.sd-tab-set .sd-tab-content {
padding: 4px;
}
|
