From 64f34f1c6ed5f910d5bf401a573d6b72539a437b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Leif=20=C3=85strand?= Date: Tue, 17 Apr 2012 11:16:02 +0300 Subject: [PATCH] Reduce tree node caption padding to make room for focus border --- WebContent/VAADIN/themes/reindeer/tree/tree.css | 4 +--- WebContent/VAADIN/themes/runo/tree/tree.css | 4 +--- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/WebContent/VAADIN/themes/reindeer/tree/tree.css b/WebContent/VAADIN/themes/reindeer/tree/tree.css index f72f61c545..9f4083d42e 100644 --- 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 14061b8afb..e897236587 100644 --- 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; -- 2.39.5