Antwort
Gehe in der Menüleiste oben auf Edit, wähle dann Preferences. Im erscheinenden Fenster kannst du unter Fonts and Colors ein paar Einstellungen dazu machen. Ob die Schriftgröße dieser Navigationsleiste da dabei ist weiß ich nicht genau