diff options
author | Lapo Calamandrei <calamandrei@gmail.com> | 2016-05-20 15:39:08 +0200 |
---|---|---|
committer | Lapo Calamandrei <calamandrei@gmail.com> | 2016-05-20 15:42:22 +0200 |
commit | f62505a77f348e631a725589ac4b091ad0abbe1e (patch) | |
tree | 0d6ac1e6cf8254b392bf0314b8a9b136029a7844 /gtk/theme/Adwaita/_common.scss | |
parent | 375a1282f4fad092503bb65bc5949421af67324b (diff) | |
download | gtk+-f62505a77f348e631a725589ac4b091ad0abbe1e.tar.gz |
Adwaita: add vertical margins to switches on a headerbar
See https://bugzilla.gnome.org/show_bug.cgi?id=766642
Diffstat (limited to 'gtk/theme/Adwaita/_common.scss')
-rw-r--r-- | gtk/theme/Adwaita/_common.scss | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss index 8508749133..431456be58 100644 --- a/gtk/theme/Adwaita/_common.scss +++ b/gtk/theme/Adwaita/_common.scss @@ -1512,7 +1512,7 @@ headerbar { } headerbar { - // add vertical margins to headerbar entries, buttons and separators to avoid them spanning the whole height + // add vertical margins to common widget on the headerbar to avoid them spanning the whole height entry, spinbutton, separator, @@ -1520,6 +1520,10 @@ headerbar { margin-top: 6px; margin-bottom: 6px; } + switch { + margin-top: 9px; + margin-bottom: 9px; + } } .background:not(.tiled):not(.maximized) .titlebar { |