Помощь в настройке окна

[Staryder]

как сделать шрифт в окне слева меньше?

[Bohdan]

Также это интересует

[iBo]

Профиль -> настройки -> редактор
https://htmlacademy.ru/profile/settings/editor выбрать размер шрифта и не забыть сохранить.