Makes border radius integer for 15px font-size

11 years ago · afc7a6e39e
1 changed files with 3 additions and 3 deletions
--- a/src/elements/button.less
+++ b/src/elements/button.less
@ -43,13 +43,13 @@
  border-radius: 0.2em;
  -webkit-box-shadow:
    0em -0.185rem 0em rgba(0, 0, 0, 0.1) inset
    0em -0.2rem 0em rgba(0, 0, 0, 0.1) inset
  ;
  -moz-box-shadow:
    0em -0.185rem 0em rgba(0, 0, 0, 0.1) inset
    0em -0.2rem 0em rgba(0, 0, 0, 0.1) inset
  ;
  box-shadow:
    0em -0.185rem 0em rgba(0, 0, 0, 0.1) inset
    0em -0.2rem 0em rgba(0, 0, 0, 0.1) inset
  ;
  -webkit-user-select: none;