diff options
author | Florian Müllner <fmuellner@gnome.org> | 2023-01-18 17:46:35 +0100 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2023-02-14 17:11:24 +0100 |
commit | 7b2528438fadf52ca56cfaac2e8f5c10ebf1063c (patch) | |
tree | 381815d018dfab0e606f2259bfeb03539aad37fe | |
parent | 5cae16bed5c6ada8f490ef89ae5cff619d5a7412 (diff) | |
download | gnome-shell-sass-7b2528438fadf52ca56cfaac2e8f5c10ebf1063c.tar.gz |
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>
-rw-r--r-- | widgets/_quick-settings.scss | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/widgets/_quick-settings.scss b/widgets/_quick-settings.scss index 8702856..45e601f 100644 --- a/widgets/_quick-settings.scss +++ b/widgets/_quick-settings.scss @@ -56,12 +56,18 @@ & .quick-toggle-arrow { padding: $base_padding $base_padding*1.75; - border: none; + border-width: 0; &:checked { @include button(default, $c:$selected_bg_color); } - &:ltr { border-radius: 0 99px 99px 0; } - &:rtl { border-radius: 99px 0 0 99px; } + &:ltr { + border-radius: 0 99px 99px 0; + border-left-width: 1px; + } + &:rtl { + border-radius: 99px 0 0 99px; + border-right-width: 1px; + } } } |