web/data/uiprops.py
changeset 8093 3efb83e4e8f3
parent 7943 ad0581296e2c
child 8104 71d9fb78b772
--- a/web/data/uiprops.py	Wed Nov 23 11:46:30 2011 +0100
+++ b/web/data/uiprops.py	Wed Nov 23 12:30:05 2011 +0100
@@ -168,6 +168,7 @@
 
 # facets
 facet_titleFont = 'bold SansSerif'
-facet_overflowedHeight = '12em'
-# the above minus 1
-facet_overflowedHeightWithLogicalSelector = '11em'
+facet_Height = '15em'
+facet_Padding = '.4em'
+facet_MarginBottom = '.4em'
+facet_vocabMaxHeight = '12em' # ensure << facet_Height