diff options
author | Mark Otto <otto@github.com> | 2012-11-28 12:31:52 +0400 |
---|---|---|
committer | Mark Otto <otto@github.com> | 2012-11-28 12:31:52 +0400 |
commit | 02097700e8ab24506dda5332778398119dc8b728 (patch) | |
tree | 08158b2fcb54f9324eda7074dace6e6ab41b0b7e | |
parent | dc10e6bbf8d051d763ec0c14dd8f5307ac356654 (diff) |
Fixes #6035: use font-size vars in button groups
-rw-r--r-- | docs/assets/css/bootstrap.css | 6 | ||||
-rw-r--r-- | 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 87602639de..6d0e3dc072 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 8c3b9ff045..002a3ff075 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 |