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 ghostscriptis very complex but used by many people.Please stop using such a dinky font.That's what ctrl-shift-+ is for.