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)