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