ASCII text
1
/* Workspace Switcher */
2
@use "../../../../theme";
4
@use "../../../../theme-color";
5
@use "osd";
6
.workspace-switcher-group {
8
padding: 8px;
9
}
10
.workspace-switcher-container {
12
@include osd.panel;
13
}
14
.workspace-switcher {
16
background: transparent;
17
border: 0;
18
border-radius: 0;
19
padding: 0;
20
spacing: 8px;
21
}
22
.ws-switcher-box {
24
height: 48px;
25
border: 0;
26
border-radius: theme.$corner-radius;
27
background-color: theme-color.disabled-stroke(theme-color.$on-surface);
28
background-size: 0;
29
}
30
// active workspace in the switcher
32
.ws-switcher-active-up,
33
.ws-switcher-active-down,
34
.ws-switcher-active-left,
35
.ws-switcher-active-right {
36
height: 48px;
37
border: 0;
38
border-radius: theme.$corner-radius;
39
background-color: theme-color.$primary;
40
background-size: 0;
41
color: inherit;
42
}
43