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

[Matthias Clasen <matthiasc src gnome org>]

commit 5679b9a6875b326ab49ae36c2e8a482685c0a446
Author: Alex Monday <monday15 gmx com>
Date:   Tue Mar 19 19:59:05 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 dd26261c73..eb8d2e1d0a 100644
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -1714,8 +1714,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 633f315f8a..35d5b4697b 100644
--- a/gtk/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/theme/Adwaita/gtk-contained-dark.css
@@ -692,7 +692,7 @@ searchbar > revealer > box { padding: 6px; border-width: 0 0 1px; }
 
 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 6ff629a804..827b6b9017 100644
--- a/gtk/theme/Adwaita/gtk-contained.css
+++ b/gtk/theme/Adwaita/gtk-contained.css
@@ -700,7 +700,7 @@ searchbar > revealer > box { padding: 6px; border-width: 0 0 1px; }
 
 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; }