Ich habe ein Upgrade auf IntelliJ 2020.1 durchgeführt, das standardmäßig die neue JetBrains Mono-Schriftart verwendet. Ich möchte jedoch wieder zur vorherigen Standardeinstellung zurückkehren, erinnere mich aber nicht an den Namen. Wie hieß die Standardschriftart in Versionen von IntelliJ IDEA vor 2020.1?