[gtk+] Adwaita: add vertical margins to switches on a headerbar

[Lapo Calamandrei <lapo src gnome org>]

commit 386ead4243b9e45d60f6a7aa6812f68e8c119ba3
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Fri May 20 15:39:08 2016 +0200

    Adwaita: add vertical margins to switches on a headerbar
    
    See https://bugzilla.gnome.org/show_bug.cgi?id=766642

 gtk/theme/Adwaita/_common.scss           |    6 +++++-
 gtk/theme/Adwaita/gtk-contained-dark.css |    3 +++
 gtk/theme/Adwaita/gtk-contained.css      |    3 +++
 3 files changed, 11 insertions(+), 1 deletions(-)
---
diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 62fc435..db79393 100644
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -1546,7 +1546,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,
@@ -1554,6 +1554,10 @@ headerbar {
     margin-top: 6px;
     margin-bottom: 6px;
   }
+  switch {
+    margin-top: 9px;
+    margin-bottom: 9px;
+  }
 }
 
 .background:not(.tiled):not(.maximized) .titlebar {
diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css
index 6b1abdc..cc264b5 100644
--- a/gtk/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/theme/Adwaita/gtk-contained-dark.css
@@ -2071,6 +2071,9 @@ headerbar separator,
 headerbar button {
   margin-top: 6px;
   margin-bottom: 6px; }
+headerbar switch {
+  margin-top: 9px;
+  margin-bottom: 9px; }
 
 .background:not(.tiled):not(.maximized) .titlebar:backdrop, .background:not(.tiled):not(.maximized) 
.titlebar {
   border-top-left-radius: 7px;
diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css
index 2dbcc61..decd840 100644
--- a/gtk/theme/Adwaita/gtk-contained.css
+++ b/gtk/theme/Adwaita/gtk-contained.css
@@ -2078,6 +2078,9 @@ headerbar separator,
 headerbar button {
   margin-top: 6px;
   margin-bottom: 6px; }
+headerbar switch {
+  margin-top: 9px;
+  margin-bottom: 9px; }
 
 .background:not(.tiled):not(.maximized) .titlebar:backdrop, .background:not(.tiled):not(.maximized) 
.titlebar {
   border-top-left-radius: 7px;