[Gretl-users] Re: font size in graphs