From e5bfd8c00b906b5be8030e2871399fe3634bf6e5 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Wed, 17 Jul 2013 23:56:20 -0700
Subject: [PATCH] Fixes #8441: remove `@font-size-mini`

---
 less/variables.less | 1 -
 1 file changed, 1 deletion(-)

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