Font size:
This page is obsolete and has been removed.
This page originally described a patch, that since then has been committed into CVS. Still correct information therein has been merged into this page.