[gtk/gtk-3-24: 1/2] Adwaita: Adjust switch margins on headerbars

[Matthias Clasen <matthiasc src gnome org>]

commit 430caaa1678617e652a34188738074accab43bfd
Author: Alex Monday <monday15 gmx com>
Date:   Tue Mar 19 19:46:00 2019 +0500

    Adwaita: Adjust switch margins on headerbars
    
    Closes https://gitlab.gnome.org/GNOME/gtk/issues/1759

 gtk/theme/Adwaita/_common.scss           | 4 ++--
 gtk/theme/Adwaita/gtk-contained-dark.css | 2 +-
 gtk/theme/Adwaita/gtk-contained.css      | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index c8ef9f0351..1989f64224 100644
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -1725,8 +1725,8 @@ headerbar {
     margin-bottom: 6px;
   }
   switch {
-    margin-top: 9px;
-    margin-bottom: 9px;
+    margin-top: 10px;
+    margin-bottom: 10px;
   }
 
   &.titlebar headerbar:not(.titlebar) {
diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css
index 037ad939ee..07d7eeb3fe 100644
--- a/gtk/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/theme/Adwaita/gtk-contained-dark.css
@@ -680,7 +680,7 @@ searchbar > revealer > box { margin: -6px; padding: 6px; }
 
 headerbar entry, headerbar spinbutton, headerbar separator:not(.sidebar), headerbar button { margin-top: 
6px; margin-bottom: 6px; }
 
-headerbar switch { margin-top: 9px; margin-bottom: 9px; }
+headerbar switch { margin-top: 10px; margin-bottom: 10px; }
 
 headerbar.titlebar headerbar:not(.titlebar) { background: none; box-shadow: none; }
 
diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css
index 07a4564a33..6f75e9bdcc 100644
--- a/gtk/theme/Adwaita/gtk-contained.css
+++ b/gtk/theme/Adwaita/gtk-contained.css
@@ -688,7 +688,7 @@ searchbar > revealer > box { margin: -6px; padding: 6px; }
 
 headerbar entry, headerbar spinbutton, headerbar separator:not(.sidebar), headerbar button { margin-top: 
6px; margin-bottom: 6px; }
 
-headerbar switch { margin-top: 9px; margin-bottom: 9px; }
+headerbar switch { margin-top: 10px; margin-bottom: 10px; }
 
 headerbar.titlebar headerbar:not(.titlebar) { background: none; box-shadow: none; }