Uaktualniłem do IntelliJ 2020.1, który domyślnie korzysta z nowej czcionki JetBrains Mono. Chciałbym jednak wrócić do poprzedniej wartości domyślnej, ale nie pamiętam nazwy. Jak nazywała się domyślna czcionka w wersjach IntelliJ IDEA wcześniejszych niż 2020.1?