Restore mini button (fixes twbs#8644)

Author: mdo

css.html

@@ -1694,6 +1694,10 @@ <h2 id="buttons-sizes">Button sizes</h2>
         <button type="button" class="btn btn-primary btn-small">Small button</button>
         <button type="button" class="btn btn-default btn-small">Small button</button>
       </p>
+      <p>
+        <button type="button" class="btn btn-primary btn-mini">Mini button</button>
+        <button type="button" class="btn btn-default btn-mini">Mini button</button>
+      </p>
     </div>
 {% highlight html %}
 <p>
@@ -1708,6 +1712,10 @@ <h2 id="buttons-sizes">Button sizes</h2>
   <button type="button" class="btn btn-primary btn-small">Small button</button>
   <button type="button" class="btn btn-default btn-small">Small button</button>
 </p>
+<p>
+  <button type="button" class="btn btn-primary btn-mini">Mini button</button>
+  <button type="button" class="btn btn-default btn-mini">Mini button</button>
+</p>
 {% endhighlight %}
 
     <p>Create block level buttons&mdash;those that span the full width of a parent&mdash; by adding <code>.btn-block</code>.</p>

dist/css/bootstrap.css

@@ -1833,13 +1833,18 @@ fieldset[disabled] .btn-link:focus {
   border-radius: 6px;
 }
 
-.btn-small {
+.btn-small,
+.btn-mini {
   padding: 5px 10px;
   font-size: 12px;
   line-height: 1.5;
   border-radius: 3px;
 }
 
+.btn-mini {
+  padding: 3px 5px;
+}
+
 .btn-block {
   display: block;
   width: 100%;

dist/css/bootstrap.min.css

@@ -125,12 +125,16 @@
   font-size: @font-size-large;
   border-radius: @border-radius-large;
 }
-.btn-small {
+.btn-small,
+.btn-mini {
   padding: @padding-small-vertical @padding-small-horizontal;
   font-size: @font-size-small;
   line-height: 1.5; // ensure proper height of button next to small input
   border-radius: @border-radius-small;
 }
+.btn-mini {
+  padding: 3px 5px;
+}
 
 
 // Block button