web/data/uiprops.py
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'