Fixes #6035: use font-size vars in button groups

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 87602639dec62bc43cdc064e124d2f69c1a2c5f1..6d0e3dc072d45d49e3a71e1dd3e825e1332af2cc 100644 (file)
--- 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 8c3b9ff045797822c418ad00c60c577d5e330950..002a3ff07551fa5e410f8cc267f01cdbb5fe0fa0 100644 (file)
--- 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