From afc7a6e39e3d8923020bd6a867f74a60e86dd5a8 Mon Sep 17 00:00:00 2001
From: jlukic <jacklukic@gmail.com>
Date: Wed, 23 Oct 2013 12:21:28 -0400
Subject: [PATCH] Makes border radius integer for 15px font-size

---
 src/elements/button.less | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/elements/button.less b/src/elements/button.less
index 8c5726c8b..0fdb4a8b5 100755
--- a/src/elements/button.less
+++ b/src/elements/button.less
@@ -43,13 +43,13 @@
   border-radius: 0.2em;
 
   -webkit-box-shadow:
-    0em -0.185rem 0em rgba(0, 0, 0, 0.1) inset
+    0em -0.2rem 0em rgba(0, 0, 0, 0.1) inset
   ;
   -moz-box-shadow:
-    0em -0.185rem 0em rgba(0, 0, 0, 0.1) inset
+    0em -0.2rem 0em rgba(0, 0, 0, 0.1) inset
   ;
   box-shadow:
-    0em -0.185rem 0em rgba(0, 0, 0, 0.1) inset
+    0em -0.2rem 0em rgba(0, 0, 0, 0.1) inset
   ;
 
   -webkit-user-select: none;