web/facet.py
changeset 7413 94ad9523abb7
parent 7402 826e5663a686
child 7414 de802bcb6348
--- a/web/facet.py	Fri May 20 17:29:50 2011 +0200
+++ b/web/facet.py	Fri May 20 19:09:01 2011 +0200
@@ -1096,7 +1096,7 @@
         self.value = None
 
     def height(self):
-        return 2
+        return 3
 
     def _render(self):
         title = xml_escape(self.facet.title)
@@ -1232,7 +1232,7 @@
         self.selected = selected
 
     def height(self):
-        return 1
+        return 2
 
     def _render(self):
         title = xml_escape(self.facet.title)