After trawling the Internet trying to find a suitable way to modify the VSCode explorer font, font sizes (not the editor font, if you are thinking about that!), I stumbled upon the “Toggle developer tools” option within vscode that provides access to what Stylesheets are being used to render the entire vscode interface. Check out …