2007/6/8, Fredrik Ekdahl <fekdahl@xxxxxxxxx>:
Should menus be using the plain font instead of the fixed size that seems to be used now?
There's a specific font settings for menus, settable in the Menu preflet.