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-solid-dark.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'common/gtk-3.0/3.20/gtk-solid-dark.css')

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 {
-- 
cgit v1.2.3