[gtk+/gtk-3-20] Adwaita: add vertical margins to switches on a headerbar

[Lapo Calamandrei <lapo src gnome org>]

commit f62505a77f348e631a725589ac4b091ad0abbe1e
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 8508749..431456b 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 {
diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css
index e40cccd..26cd2ce 100644
--- a/gtk/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/theme/Adwaita/gtk-contained-dark.css
@@ -1932,6 +1932,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 e4fb963..f148bf1 100644
--- a/gtk/theme/Adwaita/gtk-contained.css
+++ b/gtk/theme/Adwaita/gtk-contained.css
@@ -1939,6 +1939,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;