Menu font size

[Karl Ove Hufthammer]

I've read the docs, the FAQ and googled, but couldn't find the answer to how
to change the font size for *menus*.

Changing the "Resolution" option in the config file changes the font size
used in dialogues and other places, but *not* in the menus. The various
options in [Tweak.Fonts] also have some effect, but not on the menus.

So, how do I increase the font size used in menus?

-- 
Karl Ove Hufthammer