Изменить шрифт редактора легко. Но как изменить шрифт (размер) подписей, используя в Visual Studio Code? Например, вкладки "TERMINAL", "PROBLEMS", "OUTPUT" и т.д. Во встроенном терминале имеют большой шрифт. Также названия вкладок (имя редактируемого файла) - имеют большой отступ. How to customize such elements (font's size, may be padding) ?