diff dillorc @ 824:556b5972dd18

adapt font-family preferences to match CSS CSS 2.1 uses the following predefined font names: 'serif', 'sans-serif', 'cursive', 'fantasy', 'monospace'. Add preferences so that the user can set real font names for these. Basically the new "font_sans_serif" option is what "vw_fontame" used to be and "font_monospace" is equivalent to "fw_fontname". The other two options are new.
author Johannes Hofmann <Johannes.Hofmann@gmx.de>
date Mon, 26 Jan 2009 21:09:52 +0100
parents d494f2000cc2
children 92b7a59b704b
line wrap: on
line diff
--- a/dillorc	Mon Jan 26 21:01:21 2009 +0100
+++ b/dillorc	Mon Jan 26 21:09:52 2009 +0100
@@ -37,22 +37,16 @@
 #                           RENDERING SECTION
 #-------------------------------------------------------------------------
 
-# Fontname for variable width rendering (most of the text).
+# Fontnames:
 #   - some fonts may slow down rendering.
 #   - try to tune a fontname/font_factor combination.
 # Ex. {helvetica, lucida, times, "new century schoolbook", utopia, ...}
-# vw_fontname="new century schoolbook"
-# vw_fontname="helvetica"
-# vw_fontname="times"
-# vw_fontname="Bitstream vera Serif"
-# vw_fontname="arial"
-#vw_fontname="DejaVu Sans"
-
-# Fontname for fixed width rendering (mainly text quoted with <pre>)
-# fw_fontname=courier
-# fw_fontname="Bitstream Vera Sans Mono"
-# fw_fontname="Andale Mono"
-#fw_fontname="DejaVu Sans Mono"
+#
+# font_serif="DejaVu Serif"
+# font_sans_serif="DejaVu Sans"
+# font_cursive="DejaVu Sans"
+# font_fantasy="DejaVu Sans"
+# font_monospace="DejaVu Sans Mono"
 
 # All fontsizes are scaled by this value
 # font_factor=1.5