quickSettings: Add small border to menu toggles

The slightly lighter background of the menu button turned out
to not be quite enough to indicate that it's a separate control
from the main toggle. Address this with a small border between
the two elements.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5963

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2632>
This commit is contained in:
Florian Müllner 2023-01-18 17:46:35 +01:00 committed by Marge Bot
parent cf89a6d01e
commit 45dcbf516f

View File

@ -56,12 +56,18 @@
& .quick-toggle-arrow { & .quick-toggle-arrow {
padding: $base_padding $base_padding*1.75; padding: $base_padding $base_padding*1.75;
border: none; border-width: 0;
&:checked { @include button(default, $c:$selected_bg_color); } &:checked { @include button(default, $c:$selected_bg_color); }
&:ltr { border-radius: 0 99px 99px 0; } &:ltr {
&:rtl { border-radius: 99px 0 0 99px; } border-radius: 0 99px 99px 0;
border-left-width: 1px;
}
&:rtl {
border-radius: 99px 0 0 99px;
border-right-width: 1px;
}
} }
} }