web/facet.py
changeset 8104 71d9fb78b772
parent 8093 3efb83e4e8f3
child 8165 1fe089765187
--- 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):