|
|
@@ -807,7 +807,7 @@
|
|
|
}
|
|
|
.button-size(@padding-vertical; @padding-horizontal; @font-size; @line-height; @border-radius)
|
|
|
when(@is-new-css = true) {
|
|
|
- padding: @padding-vertical - @border-size @padding-horizontal;
|
|
|
+ padding: @padding-vertical - round(@border-size) @padding-horizontal;
|
|
|
font-size: @font-size;
|
|
|
line-height: @line-height;
|
|
|
border-radius: @border-radius;
|