I like the size being bigger than normal text, because it makes it
easier to hit the right entry with the mouse .... but I would prefer
fontsize +1 rather than +2.....
Mumble, is this a general statement on how you prefer web page fonts?
:-)
If there is a reason why this page should use larger fonts than other
pages, I'd like to understand that. If one likes bigger fonts in
general, one can do that through browser settings.
I think of it as a menu-only page, and I tend to want menu items to be
bigger than normal; with normal text, I want the smallest size that's
reasonably readable, so that I get the maximum amount of info in the
window. So browser settings don't work for me. (no, don't suggest user CSS
.-)Note, when I say "normal size", I'm OK with headings being larger,
etc. But this page just strikes me as having extra large fonts in use
everywhere. Compare with say, the default IETF home page.
I find the main IETF page irritating. But this is a matter of taste... we
can argue that one forever....