comparison dillorc @ 935:b43ce176d305

add "font_min_size" dillorc option
author Johannes Hofmann <Johannes.Hofmann@gmx.de>
date Wed, 11 Feb 2009 17:36:55 +0100
parents 9a0725437bf1
children 38dca019d9bb
comparison
equal deleted inserted replaced
934:e28cf4b71832 935:b43ce176d305
47 #font_sans_serif="DejaVu Sans" 47 #font_sans_serif="DejaVu Sans"
48 #font_cursive="DejaVu Sans" 48 #font_cursive="DejaVu Sans"
49 #font_fantasy="DejaVu Sans" 49 #font_fantasy="DejaVu Sans"
50 #font_monospace="DejaVu Sans Mono" 50 #font_monospace="DejaVu Sans Mono"
51 51
52 # All fontsizes are scaled by this value 52 # All font sizes are scaled by this value
53 # font_factor=1.5 53 # font_factor=1.5
54 #font_factor=1.0 54 #font_factor=1.0
55
56 # Minimum font size
57 #font_min_size=6
55 58
56 # Show tooltip popup for images? 59 # Show tooltip popup for images?
57 # Note: We use the "title" attribute and not "alt". 60 # Note: We use the "title" attribute and not "alt".
58 # More info at: http://bugzilla.mozilla.org/show_bug.cgi?id=25537 61 # More info at: http://bugzilla.mozilla.org/show_bug.cgi?id=25537
59 # *** NOT HOOKED UP YET *** 62 # *** NOT HOOKED UP YET ***