diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2023-01-18 17:46:35 +0100 |
|---|---|---|
| committer | Marge Bot <marge-bot@gnome.org> | 2023-02-09 21:53:07 +0000 |
| commit | 45dcbf516f1ebc56cbd1826a2034acdee9a931d6 (patch) | |
| tree | cbee5aee1fe68272c28bb5122d7261161a5c0c7b /data | |
| parent | cf89a6d01ef9e3ea8636fe9cfd6429e590008eed (diff) | |
| download | gnome-shell-45dcbf516f1ebc56cbd1826a2034acdee9a931d6.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>
Diffstat (limited to 'data')
| -rw-r--r-- | data/theme/gnome-shell-sass/widgets/_quick-settings.scss | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/data/theme/gnome-shell-sass/widgets/_quick-settings.scss b/data/theme/gnome-shell-sass/widgets/_quick-settings.scss index 87028565e..45e601f41 100644 --- a/data/theme/gnome-shell-sass/widgets/_quick-settings.scss +++ b/data/theme/gnome-shell-sass/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; + } } } |