Я перейшов до IntelliJ 2020.1, який використовує новий шрифт JetBrains Mono за замовчуванням. Однак я хотів би перейти до використання попереднього за замовчуванням, але ім'я не пам’ятаю. Як називали шрифт за замовчуванням у версіях IntelliJ IDEA до 2020.1?