Re: F10: default fonts too big