unify button sizing, use mixin ".button-size" also for the base sized button

diff --git a/less/buttons.less b/less/buttons.less
index 40511ab9605e07d4f2094ee007ed694a090586ab..a0909606f4a18460401b85745703efc584a63835 100644 (file)
--- a/less/buttons.less
+++ b/less/buttons.less
@@ -9,18 +9,15 @@
 // Core styles
 .btn {
   display: inline-block;
-  padding: @padding-base-vertical @padding-base-horizontal;
   margin-bottom: 0; // For input.btn
-  font-size: @font-size-base;
   font-weight: @btn-font-weight;
-  line-height: @line-height-base;
   text-align: center;
   vertical-align: middle;
   cursor: pointer;
   background-image: none; // Reset unusual Firefox-on-Android default style; see https://github.com/necolas/normalize.css/issues/214
   border: 1px solid transparent;
-  border-radius: @border-radius-base;
   white-space: nowrap;
+  .button-size(@padding-base-vertical; @padding-base-horizontal; @font-size-base; @line-height-base; @border-radius-base);
   .user-select(none);
 
   &:focus {