From cd2b2df3f0dacb11df1b1cd9c5332ff93735ed94 Mon Sep 17 00:00:00 2001
From: Csaba Jakosa <megax@yeahunter.hu>
Date: Mon, 29 Aug 2016 08:55:26 +0200
Subject: [PATCH] Fix Firefox menu item separator color & optimize separator
 margin. Fixes #537

---
 gtk-3.20/scss/widgets/_menu.scss | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/gtk-3.20/scss/widgets/_menu.scss b/gtk-3.20/scss/widgets/_menu.scss
index 44ba2f6..0bef14a 100644
--- a/gtk-3.20/scss/widgets/_menu.scss
+++ b/gtk-3.20/scss/widgets/_menu.scss
@@ -54,16 +54,16 @@
         &:selected { background-color: $selected_bg_color; }
 
         // A little hack to get some extra space above/below menuitem separators
-        separator {
-            border-style: none;
-            background-color: transparent;
-            min-height: 5px;
-            border-bottom-style: solid;
-            border-bottom-width: 1px;
-            border-bottom-color: shade($menu_bg_color, ($contrast + .1));
-            padding: 0;
+        separator,
+        .csd & separator {
+            background-color: shade($menu_bg_color, ($contrast + .1));
+            margin: ($spacing - 2px) 0;
         }
 
+        // Firefox workaround
+        .separator,
+        .csd & .separator { color: shade($menu_bg_color, ($contrast + .1)); }
+
         menuitem {
             min-height: 16px;
             min-width: 40px;