From: Mark Otto <otto@github.com>
Date: Thu, 18 Jul 2013 06:56:20 +0000 (-0700)
Subject: Fixes #8441: remove `@font-size-mini`
X-Git-Tag: v3.0.0-rc1~142
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e5bfd8c00b906b5be8030e2871399fe3634bf6e5;p=thirdparty%2Fbootstrap.git

Fixes #8441: remove `@font-size-mini`
---

diff --git a/less/variables.less b/less/variables.less
index fdd5929db6..33db5fd641 100644
--- a/less/variables.less
+++ b/less/variables.less
@@ -48,7 +48,6 @@
 @font-size-base:          14px;
 @font-size-large:         ceil(@font-size-base * 1.25); // ~18px
 @font-size-small:         ceil(@font-size-base * 0.85); // ~12px
-@font-size-mini:          ceil(@font-size-base * 0.75); // ~11px
 
 @line-height-base:        1.428571429; // 20/14
 @line-height-computed:    floor(@font-size-base * @line-height-base); // ~20px