From f62505a77f348e631a725589ac4b091ad0abbe1e Mon Sep 17 00:00:00 2001
From: Lapo Calamandrei <calamandrei@gmail.com>
Date: Fri, 20 May 2016 15:39:08 +0200
Subject: 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 deletion(-)

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 {
diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css
index e40cccd93e..26cd2ce337 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 e4fb963484..f148bf19ca 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;
-- 
cgit v1.2.1