web/data/uiprops.py
changeset 8104 71d9fb78b772
parent 8093 3efb83e4e8f3
child 8138 86da196640ae
child 8334 20e38436395f
--- a/web/data/uiprops.py	Tue Nov 29 12:06:35 2011 +0100
+++ b/web/data/uiprops.py	Thu Dec 01 12:48:46 2011 +0100
@@ -168,7 +168,6 @@
 
 # facets
 facet_titleFont = 'bold SansSerif'
-facet_Height = '15em'
 facet_Padding = '.4em'
 facet_MarginBottom = '.4em'
-facet_vocabMaxHeight = '12em' # ensure << facet_Height
+facet_vocabMaxHeight = '12em' # ensure < FACET_GROUP_HEIGHT by some const. factor (e.g 3em)