theme: Worksace indicator height

- 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>
This commit is contained in:
Jakub Steiner 2024-04-25 11:15:13 -04:00
parent a106e52b4f
commit fb74d56258

View File

@ -1,6 +1,6 @@
/* Workspace Switcher */
$ws_indicator_height: 48px;
$ws_indicator_height: 32px;
$ws_dot_active: $ws_indicator_height / 3;
$ws_dot_inactive: $ws_indicator_height / 6;