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