fb74d56258
- set the workspace indicator height to match the non-labeled osd panels such as volume or brightness Fixes #7612 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3282>
26 lines
644 B
SCSS
26 lines
644 B
SCSS
/* Workspace Switcher */
|
|
|
|
$ws_indicator_height: 32px;
|
|
$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;
|
|
}
|
|
}
|