diff --git a/less/buttons.less b/less/buttons.less index d5a4353b328b12f713ec9e546b93bffa8e6c028f..a9e87b57205f1e6abc7d9a27ece9bae900345b25 100644 --- a/less/buttons.less +++ b/less/buttons.less @@ -117,6 +117,14 @@ &.small .icon { margin-top: -1px; } + &.mini { + padding: 1px 4px; + font-size: @baseFontSize - 2px; + line-height: @baseLineHeight - 2px; + } + &.mini .icon { + margin-top: -1px; + } } // Help Firefox not be a jerk about adding extra padding to buttons