From b39fadcf3b1e1aafd41cabda319f681baf5f42fe Mon Sep 17 00:00:00 2001
From: jlukic <jacklukic@gmail.com>
Date: Mon, 1 Jun 2015 16:01:19 -0400
Subject: [PATCH] Fix rounding of icon margins

---
 src/themes/default/collections/menu.variables | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/themes/default/collections/menu.variables b/src/themes/default/collections/menu.variables
index 3ef795baa..f4f5a88a5 100644
--- a/src/themes/default/collections/menu.variables
+++ b/src/themes/default/collections/menu.variables
@@ -62,7 +62,7 @@
 
 /* Icon */
 @iconFloat: none;
-@iconMargin: 0em 0.25em 0em 0em;
+@iconMargin: 0em 0.35714em 0em 0em;
 @iconOpacity: 0.9;
 
 /* Dropdown Icon */
@@ -155,7 +155,7 @@
 
 /* Dropdown Variations */
 @dropdownVerticalMenuBoxShadow: 0 1px 3px 0px rgba(0, 0, 0, 0.08);
-@secondaryDropdownMenuDistance: 0.25em;
+@secondaryDropdownMenuDistance: 0.35714em;
 @pointingDropdownMenuDistance: 0.75em;
 @invertedSelectionDropdownColor: @invertedTextColor;
 
@@ -216,7 +216,7 @@
 @secondaryBackground: none;
 
 @secondaryItemBackground: none;
-@secondaryItemMargin: 0em 0.25em;
+@secondaryItemMargin: 0em 0.35714em;
 @secondaryItemPadding: @relativeMini @relativeSmall;
 @secondaryItemBorderRadius: @defaultBorderRadius;
 @secondaryItemTransition: color @defaultDuration @defaultEasing;