Reduce tree node caption padding to make room for focus border

diff --git a/WebContent/VAADIN/themes/reindeer/tree/tree.css b/WebContent/VAADIN/themes/reindeer/tree/tree.css
index f72f61c545fc84bc03391c47040df5a0b8208f2c..9f4083d42e415975a918b99bb48b33fab85a96d6 100644 (file)
--- a/WebContent/VAADIN/themes/reindeer/tree/tree.css
+++ b/WebContent/VAADIN/themes/reindeer/tree/tree.css
@@ -26,9 +26,7 @@
        padding-left: 16px;
 }
 .v-tree-node-caption.v-tree-node-focused span{
-       padding-left: 1px;
-       padding-top: 0px;
-       padding-bottom: 0px;
+       padding: 0 1px; /* Make room for border */
 }
 .v-tree-node-focused span{
        border: 1px dotted black;       

diff --git a/WebContent/VAADIN/themes/runo/tree/tree.css b/WebContent/VAADIN/themes/runo/tree/tree.css
index 14061b8afbfa8f49960c767c9da2ab6bb6292b2a..e897236587e1944293fa17f70c5b30487c45bbfe 100644 (file)
--- a/WebContent/VAADIN/themes/runo/tree/tree.css
+++ b/WebContent/VAADIN/themes/runo/tree/tree.css
@@ -34,9 +34,7 @@
        outline:none;   
 }
 .v-tree-node-caption.v-tree-node-focused span{
-       padding-left: 1px;
-       padding-top: 0px;
-       padding-bottom: 0px;
+       padding: 0;
 }
 .v-tree-node-focused span{
        border: 1px dotted black;