F10: default fonts too big