Removed unnecessary -ms-box-sizing property

diff --git a/WebContent/VAADIN/themes/base/button/button.css b/WebContent/VAADIN/themes/base/button/button.css
index 4946962cba3acb7453ecef67876aa84a4df96208..53141a86a834e7e6bc8e1ef6049ab55ea6d9b96e 100644 (file)
--- a/WebContent/VAADIN/themes/base/button/button.css
+++ b/WebContent/VAADIN/themes/base/button/button.css
@@ -21,7 +21,6 @@
        user-select: none;
        -webkit-box-sizing: border-box;
        -moz-box-sizing: border-box;
-       -ms-box-sizing: border-box;
        box-sizing: border-box;
 }