ASCII text
1
/* Workspace Switcher */
2
.workspace-switcher-group {
3
padding: $base_padding * 2;
4
}
5
.workspace-switcher-container {
7
@extend %osd_panel;
8
}
9
.workspace-switcher {
11
background: transparent;
12
border: none;
13
border-radius: 0;
14
padding: 0;
15
spacing: $base_spacing * 2;
16
}
17
.ws-switcher-box {
19
background: transparent;
20
height: 50px;
21
background-size: 32px;
22
border: 1px solid transparentize($osd_fg_color,0.9);
23
border-radius: $base_border_radius + 3px;
24
}
25
// active workspace in the switcher
27
.ws-switcher-active-up,
28
.ws-switcher-active-down,
29
.ws-switcher-active-left,
30
.ws-switcher-active-right {
31
height: 52px;
32
background-color: $selected_bg_color;
33
border: 1px solid if($variant=='light', darken($selected_bg_color, 8%), lighten($selected_bg_color, 5%));
34
border-radius: $base_border_radius + 3px;
35
color: $selected_fg_color;
36
}
37