A potentially very stupid question, but I'm lost.
How do I change the font size of the menu bars (i.e. the labels "File", "Edit", "Selection", "View", ...) including the sidebar explorers, extension menus etc. (i.e. every text that is not the main coding window)?
I tried searching the user settings for "font" but I did not see any option specific for the menu font size.
I was also not able to find it via Googling.
The version of VSCode I currently have is 1.63.2
I am sure I missed something and apologies in advance for this simple-minded question.