On Wed, 2024-07-03 at 15:31 -0400, e...@gmx.us wrote: > On 7/3/24 15:20, Van Snyder wrote: > > On Wed, 2024-07-03 at 18:38 +0200, Richard wrote: > > > For anything further, you'll have to research yourself as > > > ghostscript > > > is very complex but used by many people. > > > > Please stop using such a dinky font. > > That's what ctrl-shift-+ is for.
Yeah, those of us who have been at this for a decade or two know that. But it makes everything else so large that it doesn't fit anymore, even at full screen, on my laptop.