verändern tut er sich nicht automatisch.
Sicherlich hast du ausversehen den Shortcut zum verkleinern der Schrift gedrückt.