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