From fa04300e804f53a962584f2e0c1bae79f0746a7b Mon Sep 17 00:00:00 2001
From: Horst3180
Date: Fri, 19 Feb 2016 11:06:17 +0100
Subject: use margins for menu separators

---
 common/gtk-3.0/3.20/gtk-dark.css         | 2 +-
 common/gtk-3.0/3.20/gtk-darker.css       | 2 +-
 common/gtk-3.0/3.20/gtk-solid-dark.css   | 2 +-
 common/gtk-3.0/3.20/gtk-solid-darker.css | 2 +-
 common/gtk-3.0/3.20/gtk-solid.css        | 2 +-
 common/gtk-3.0/3.20/gtk.css              | 2 +-
 common/gtk-3.0/3.20/sass/_common.scss    | 2 +-
 7 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/common/gtk-3.0/3.20/gtk-dark.css b/common/gtk-3.0/3.20/gtk-dark.css
index 7044d0e..5103c7a 100644
--- a/common/gtk-3.0/3.20/gtk-dark.css
+++ b/common/gtk-3.0/3.20/gtk-dark.css
@@ -1457,7 +1457,7 @@ menu,
   .menu separator,
   .csd
   .menu separator {
-    min-height: 10px;
+    margin: 2px 0;
     background-color: #383C4A; }
   menu menuitem,
   .menu menuitem {
diff --git a/common/gtk-3.0/3.20/gtk-darker.css b/common/gtk-3.0/3.20/gtk-darker.css
index d43d94e..d5f88ea 100644
--- a/common/gtk-3.0/3.20/gtk-darker.css
+++ b/common/gtk-3.0/3.20/gtk-darker.css
@@ -1456,7 +1456,7 @@ menu,
   .menu separator,
   .csd
   .menu separator {
-    min-height: 10px;
+    margin: 2px 0;
     background-color: #ffffff; }
   menu menuitem,
   .menu menuitem {
diff --git a/common/gtk-3.0/3.20/gtk-solid-dark.css b/common/gtk-3.0/3.20/gtk-solid-dark.css
index 5fb03da..2c16505 100644
--- a/common/gtk-3.0/3.20/gtk-solid-dark.css
+++ b/common/gtk-3.0/3.20/gtk-solid-dark.css
@@ -1457,7 +1457,7 @@ menu,
   .menu separator,
   .csd
   .menu separator {
-    min-height: 10px;
+    margin: 2px 0;
     background-color: #383C4A; }
   menu menuitem,
   .menu menuitem {
diff --git a/common/gtk-3.0/3.20/gtk-solid-darker.css b/common/gtk-3.0/3.20/gtk-solid-darker.css
index b7e26a6..daa02a3 100644
--- a/common/gtk-3.0/3.20/gtk-solid-darker.css
+++ b/common/gtk-3.0/3.20/gtk-solid-darker.css
@@ -1456,7 +1456,7 @@ menu,
   .menu separator,
   .csd
   .menu separator {
-    min-height: 10px;
+    margin: 2px 0;
     background-color: #ffffff; }
   menu menuitem,
   .menu menuitem {
diff --git a/common/gtk-3.0/3.20/gtk-solid.css b/common/gtk-3.0/3.20/gtk-solid.css
index 3245a58..ef5eef6 100644
--- a/common/gtk-3.0/3.20/gtk-solid.css
+++ b/common/gtk-3.0/3.20/gtk-solid.css
@@ -1460,7 +1460,7 @@ menu,
   .menu separator,
   .csd
   .menu separator {
-    min-height: 10px;
+    margin: 2px 0;
     background-color: #ffffff; }
   menu menuitem,
   .menu menuitem {
diff --git a/common/gtk-3.0/3.20/gtk.css b/common/gtk-3.0/3.20/gtk.css
index 3c550f1..f9b7108 100644
--- a/common/gtk-3.0/3.20/gtk.css
+++ b/common/gtk-3.0/3.20/gtk.css
@@ -1460,7 +1460,7 @@ menu,
   .menu separator,
   .csd
   .menu separator {
-    min-height: 10px;
+    margin: 2px 0;
     background-color: #ffffff; }
   menu menuitem,
   .menu menuitem {
diff --git a/common/gtk-3.0/3.20/sass/_common.scss b/common/gtk-3.0/3.20/sass/_common.scss
index 1d819b8..767a587 100644
--- a/common/gtk-3.0/3.20/sass/_common.scss
+++ b/common/gtk-3.0/3.20/sass/_common.scss
@@ -1517,7 +1517,7 @@ menu,
 
   separator,
   .csd & separator {
-    min-height: 10px;
+    margin: 2px 0;
     background-color: $_menu_bg;
   }
 
-- 
cgit v1.2.3