From 02097700e8ab24506dda5332778398119dc8b728 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Wed, 28 Nov 2012 00:31:52 -0800
Subject: [PATCH] Fixes #6035: use font-size vars in button groups

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

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 87602639d..6d0e3dc07 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3596,15 +3596,15 @@ input[type="submit"].btn.btn-mini {
 }
 
 .btn-group > .btn-mini {
-  font-size: 11px;
+  font-size: 10.5px;
 }
 
 .btn-group > .btn-small {
-  font-size: 12px;
+  font-size: 11.9px;
 }
 
 .btn-group > .btn-large {
-  font-size: 16px;
+  font-size: 17.5px;
 }
 
 .btn-group > .btn:first-child {
diff --git a/less/button-groups.less b/less/button-groups.less
index 8c3b9ff04..002a3ff07 100644
--- a/less/button-groups.less
+++ b/less/button-groups.less
@@ -46,13 +46,13 @@
 
 // Reset fonts for other sizes
 .btn-group > .btn-mini {
-  font-size: 11px;
+  font-size: @fontSizeMini;
 }
 .btn-group > .btn-small {
-  font-size: 12px;
+  font-size: @fontSizeSmall;
 }
 .btn-group > .btn-large {
-  font-size: 16px;
+  font-size: @fontSizeLarge;
 }
 
 // Set corners individual because sometimes a single button can be in a .btn-group and we need :first-child and :last-child to both match