changeset 7943 | ad0581296e2c |
parent 7849 | 7937cf60f2ce |
child 8093 | 3efb83e4e8f3 |
--- a/web/data/uiprops.py Thu Oct 13 09:15:16 2011 +0200 +++ b/web/data/uiprops.py Thu Oct 13 09:25:26 2011 +0200 @@ -167,7 +167,7 @@ errorMsgColor = '#ed0d0d' # facets -facet_titleFont = 'bold 100% Georgia' +facet_titleFont = 'bold SansSerif' facet_overflowedHeight = '12em' - - +# the above minus 1 +facet_overflowedHeightWithLogicalSelector = '11em'