From 1077dbe37434ccb66c4d9c0e354d320f7c4766e1 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Leif=20=C3=85strand?= <leif@vaadin.com>
Date: Mon, 13 Feb 2012 16:41:20 +0200
Subject: [PATCH] Update text field height for border-box sizing (#8313)

---
 WebContent/VAADIN/themes/reindeer/textfield/textfield.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/WebContent/VAADIN/themes/reindeer/textfield/textfield.css b/WebContent/VAADIN/themes/reindeer/textfield/textfield.css
index eeec6bdfb1..f5a5126736 100644
--- 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,
-- 
2.39.5