Как называется шрифт поумолчанию в ui-теме в продуктах JetBrains?

Во всех продуктах JetBrains в настройках можно переопределить дефолтный шрифт меню/диалогов (речь не шрифте в самом редакторе). Если поставить соответствующую галочку, то шрифт меняется на заданный кастомный, если убрать - сбрасывается на дефолтный, но название шрифта не показывается. Мне нравиться гарнитура дефолтного, хочу только увеличить размер, для этого надо просто знать как он называется, чтобы выбрать его. Еще такой красивый шрифт возможно подойдет для других gui, где есть возможность задания шрифта. Можно конечно перебрать все шрифты в системе, но у меня плохо с визуальной оценкой шрифтов, после просмотра 10-20 шт, все они начинают казаться на одно лицо.