How can I decrease the font size at the top of the VS Code window (red, 1st picture) on Ubuntu? I can use the standard Ctrl ++ or - to change the size of the content (green, 1st picture), but that does not affect the header, nor the right-click dropdown menu size (red, 2nd picture). I am wondering whether that is even a VS Code option, or whether I would need to adjust Ubuntu system settings.Thanks!
Image may be NSFW.
Clik here to view.Image may be NSFW.
Clik here to view.