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

e5bfd8c0 · Mark Otto · bc79f8a3 · e5bfd8c0
Commit e5bfd8c0 authored Jul 17, 2013 by Mark Otto
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

less/variables.less less/variables.less +0 -1

No files found.
--- 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