diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-07-25 22:34:25 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-07-25 22:34:25 +0200 |
commit | 90631ed4def3468352102242f887c70e626cee68 (patch) | |
tree | f416712d7ecac9e82bb88e0c98a8fb716c67e77b /README | |
parent | fadd20063eb3d79fad8e1d34b3877345a6d508d4 (diff) | |
parent | f16de7c2cdad947e28f83e8d5ea34fcffde406d8 (diff) |
merge in ruskies font family patch
Diffstat (limited to 'README')
-rw-r--r-- | README | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -224,6 +224,13 @@ Some variables have callback functions which will get called after setting the v - default_encoding: iso-8859-1 by default - enforce_96_dpi: 1 by default - caret_browsing + - default_font_family = sans-serif + - monospace_font_family = monospace (example "Aerial Mono" ) + - cursive_font_family = sans + - fantasy_font_family = "Pterra" + - serif_font_family = serif (example "DejaVu Serif") + - sans_serif_font_family = sans (example "DejaVu Sans") + * Constants (not dumpable or writeable): - WEBKIT_MAJOR: set at compile time |