Update text field height for border-box sizing (#8313)

diff --git a/WebContent/VAADIN/themes/reindeer/textfield/textfield.css b/WebContent/VAADIN/themes/reindeer/textfield/textfield.css
index eeec6bdfb1594bd8c8240e4d6e176e911b2a917d..f5a5126736fedc5fab92765ef21fa2eaf685604f 100644 (file)
--- a/WebContent/VAADIN/themes/reindeer/textfield/textfield.css
+++ b/WebContent/VAADIN/themes/reindeer/textfield/textfield.css
@@ -20,7 +20,7 @@
        -webkit-border-radius: 3px;
        border-radius: 3px;
        margin: 0;
-       height: 15px;
+       height: 23px;
        line-height: normal;
 }
 .v-textarea,
@@ -34,6 +34,7 @@
 .v-app textarea.v-textarea,
 .v-window textarea.v-textarea  {
        padding: 3px 3px 4px;
+       height: 24px;
 }
 .v-app .v-textfield-focus,
 .v-window .v-textfield-focus,