From 77232d6a1c52f5a2079ec8757d43d096124d8932 Mon Sep 17 00:00:00 2001
From: jlukic <jacklukic@gmail.com>
Date: Tue, 19 May 2015 18:23:35 -0400
Subject: [PATCH] Adjust divider margin

---
 src/themes/default/modules/dropdown.variables | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/themes/default/modules/dropdown.variables b/src/themes/default/modules/dropdown.variables
index 3e5a2fee9..e4a65709e 100644
--- a/src/themes/default/modules/dropdown.variables
+++ b/src/themes/default/modules/dropdown.variables
@@ -78,7 +78,7 @@
 @menuHeaderPadding: 0em @itemHorizontalPadding;
 
 /* Menu Divider */
-@menuDividerMargin: 0.5em 0em 0em;
+@menuDividerMargin: 0.5em 0em;
 @menuDividerColor: @internalBorderColor;
 @menuDividerSize: 1px;
 @menuDividerBorder: @menuDividerSize solid @menuDividerColor;