diff options
| author | Mark Otto <[email protected]> | 2013-07-17 23:56:20 -0700 |
|---|---|---|
| committer | Mark Otto <[email protected]> | 2013-07-17 23:56:20 -0700 |
| commit | e5bfd8c00b906b5be8030e2871399fe3634bf6e5 (patch) | |
| tree | 349fab892464e8bf9b651f1924982e2026d38cf0 | |
| parent | bc79f8a399a01a8dc1c814a48103aadb11457ee6 (diff) | |
| download | bootstrap-e5bfd8c00b906b5be8030e2871399fe3634bf6e5.tar.xz bootstrap-e5bfd8c00b906b5be8030e2871399fe3634bf6e5.zip | |
Fixes #8441: remove `@font-size-mini`
| -rw-r--r-- | less/variables.less | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/less/variables.less b/less/variables.less index fdd5929db..33db5fd64 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 |