`@font-size-mini` isn't needed

Created by: zlatanvasovic

@font-size-base, @font-size-large and @font-size-small are OK for font sizes. Here is no special difference between @font-size-small and @font-size-mini (~12px and ~11px).

Well, why is here @font-size-mini, if is other @*-mini variables removed? 😄