From 85a74fc244488843742c0427bd9eff73295c2927 Mon Sep 17 00:00:00 2001 From: Matti Tahvonen Date: Fri, 30 Oct 2009 06:46:05 +0000 Subject: [PATCH] merged [9471] from 6.1 svn changeset:9472/svn branch:6.2 --- WebContent/VAADIN/themes/reindeer/common/common.css | 1 - WebContent/VAADIN/themes/reindeer/styles.css | 1 - WebContent/VAADIN/themes/runo/common/common.css | 1 - WebContent/VAADIN/themes/runo/styles.css | 1 - 4 files changed, 4 deletions(-) diff --git a/WebContent/VAADIN/themes/reindeer/common/common.css b/WebContent/VAADIN/themes/reindeer/common/common.css index 09d22f35bb..731e0eaf1b 100644 --- a/WebContent/VAADIN/themes/reindeer/common/common.css +++ b/WebContent/VAADIN/themes/reindeer/common/common.css @@ -73,7 +73,6 @@ background-color: #fffcdd; border: 1px solid #b8b295; font-size: 11px; - line-height: 13px; color: #222; } .v-tooltip-text { diff --git a/WebContent/VAADIN/themes/reindeer/styles.css b/WebContent/VAADIN/themes/reindeer/styles.css index 65e64a0724..e2f782424d 100644 --- a/WebContent/VAADIN/themes/reindeer/styles.css +++ b/WebContent/VAADIN/themes/reindeer/styles.css @@ -2304,7 +2304,6 @@ div.v-tree-node-leaf { background-color: #fffcdd; border: 1px solid #b8b295; font-size: 11px; - line-height: 13px; color: #222; } .v-tooltip-text { diff --git a/WebContent/VAADIN/themes/runo/common/common.css b/WebContent/VAADIN/themes/runo/common/common.css index 7b40130c45..7b8317c4f3 100644 --- a/WebContent/VAADIN/themes/runo/common/common.css +++ b/WebContent/VAADIN/themes/runo/common/common.css @@ -38,7 +38,6 @@ border-top-color: #d5d2c1; border-left-color: #d5d2c1; font-size: 11px; - line-height: 13px; font-family: arial, helvetica, tahoma, verdana, sans-serif; color: #5d5444; } diff --git a/WebContent/VAADIN/themes/runo/styles.css b/WebContent/VAADIN/themes/runo/styles.css index 94d2f81d33..88e08840e1 100644 --- a/WebContent/VAADIN/themes/runo/styles.css +++ b/WebContent/VAADIN/themes/runo/styles.css @@ -1847,7 +1847,6 @@ div.v-tree-node-leaf { border-top-color: #d5d2c1; border-left-color: #d5d2c1; font-size: 11px; - line-height: 13px; font-family: arial, helvetica, tahoma, verdana, sans-serif; color: #5d5444; } -- 2.39.5