Ja, das hat es behoben @chapoi. Danke auch an @Lilly für den Tipp, wie man es findet. Wenn es für alle ausgerollt wird (oder dauerhaft wird), wird es dann eine Möglichkeit geben, die Schriftgröße anzupassen? Das, was dort verwendet wurde, war einfach zu klein.