On 2023-04-19 00:24, Martin wrote: > Workaround: Use pdf2svg instead. Sorry, broken workaround: This tool changes all text to glyphs.
Better workaround: Find out correct font-size and edit.
On 2023-04-19 00:24, Martin wrote: > Workaround: Use pdf2svg instead. Sorry, broken workaround: This tool changes all text to glyphs.
Better workaround: Find out correct font-size and edit.