Increasing the font size is *not* useful due to a couple of reasons:
- It breaks the visual seperation between the headlines. It is very
hard to determine the headline levels when the font size is that big.
- It breaks the definition lists which are useful for manpages.
- It extends the line width to an unnatural value. It is not narrow
any more, but it is also not big. It just looks a bit odd.
- The regular font (on linux) renders as almost a light bold type. It
generates a "Comic Sans" experience. That does not look
professional.
Since I am not a designer and I don't know how to fix these problems in
the right way, I think the best solution is switching back to the very
sane defaults.
