Am Samstag, dem 22.04.2023 um 21:11 +0200 schrieb Pavel Sanda: > In the same vein, anyone sees purpose in translation machinery for > fontsizes? Yes. Not all languages use Arabic numbering. -- Jürgen