From 46c10c8b58919841d9adbc4908a127bf5eff88ad Mon Sep 17 00:00:00 2001
From: Mark Otto <markotto@twitter.com>
Date: Tue, 21 Aug 2012 14:38:47 -0700
Subject: [PATCH] alternate fix to #4522: increase line-height on btn-mini

---
 docs/assets/css/bootstrap.css | 2 +-
 less/buttons.less             | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index d22b327a5b..2535de55e4 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3045,7 +3045,7 @@ button.close {
 .btn-mini {
   padding: 2px 6px;
   font-size: 11px;
-  line-height: 16px;
+  line-height: 17px;
 }
 
 .btn-block {
diff --git a/less/buttons.less b/less/buttons.less
index 077616e990..59653c1bf5 100644
--- a/less/buttons.less
+++ b/less/buttons.less
@@ -96,7 +96,7 @@
 .btn-mini {
   padding: 2px 6px;
   font-size: @baseFontSize - 3px;
-  line-height: @baseLineHeight - 4px;
+  line-height: @baseLineHeight - 3px;
 }
 
 // Block button