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)