It's easy to change editor's font. But how to change font (size) of captions using in Visual Studio Code? For example, captions "TERMINAL", "PROBLEMS", "OUTPUT", etc tabs in integrated terminal have a big font. Also tab's names (name of editing file) - have a big padding. How to customize such elements (font's size, may be padding) ?