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

diff --git a/less/variables.less b/less/variables.less
index fdd5929db63f6ff9739b414515c72d353b846f41..33db5fd641707146fa480c42c56f9a0439e49033 100644 (file)
--- 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