--- a/web/facet.py Tue Nov 29 12:06:35 2011 +0100
+++ b/web/facet.py Thu Dec 01 12:48:46 2011 +0100
@@ -1407,7 +1407,8 @@
## html widets ################################################################
-_DEFAULT_CONSTANT_VOCAB_WIDGET_HEIGHT = 14
+_DEFAULT_VOCAB_WIDGET_HEIGHT = 12
+_DEFAULT_FACET_GROUP_HEIGHT = 15
class FacetVocabularyWidget(htmlwidgets.HTMLWidget):
@@ -1422,7 +1423,7 @@
hence, it is strongly advised not to specify but ems for this css prop
"""
return css_em_num_value(self.facet._cw.vreg, 'facet_vocabMaxHeight',
- _DEFAULT_CONSTANT_VOCAB_WIDGET_HEIGHT)
+ _DEFAULT_VOCAB_WIDGET_HEIGHT)
@cachedproperty
def height(self):