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.