2023-05-25 17:25:11 -04:00
|
|
|
/* Workspace Switcher */
|
|
|
|
|
|
2024-09-19 20:40:52 -04:00
|
|
|
$ws_indicator_height: 32px;
|
2023-05-25 17:25:11 -04:00
|
|
|
$ws_dot_active: $ws_indicator_height / 3;
|
|
|
|
|
$ws_dot_inactive: $ws_indicator_height / 6;
|
|
|
|
|
|
|
|
|
|
.workspace-switcher {
|
|
|
|
|
@extend %osd_panel;
|
|
|
|
|
margin-bottom: 4em;
|
|
|
|
|
spacing: $base_padding * 2;
|
|
|
|
|
padding: $base_padding * 2 $base_padding * 3;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ws-switcher-indicator {
|
|
|
|
|
background-color: transparentize($osd_fg_color,0.5);
|
|
|
|
|
padding: $ws_dot_inactive / 2;
|
|
|
|
|
margin: ($ws_indicator_height - $ws_dot_inactive) / 2;
|
|
|
|
|
border-radius: $ws_indicator_height;
|
|
|
|
|
|
|
|
|
|
&:active {
|
|
|
|
|
background-color: $osd_fg_color;
|
|
|
|
|
padding: $ws_dot_active / 2;
|
|
|
|
|
margin: ($ws_indicator_height - $ws_dot_active) / 2;
|
|
|
|
|
}
|
|
|
|
|
}
|
