Я обновил до IntelliJ 2020.1, который по умолчанию использует новый шрифт JetBrains Mono. Тем не менее, я хотел бы вернуться к использованию предыдущего по умолчанию, но я не помню имя. Как назывался шрифт по умолчанию в версиях IntelliJ IDEA до 2020.1?