The new Documentation pane of VS Code is great, but for some reason on my machine it displays with an ugly font and at a huge size - very different to what I see in the demos on Youtube. The text size is about 3x the size of anything else in the UI, which means I have to scroll like crazy to read anything. Is there any setting to change this without resizing the entire interface? Alternatively, does anyone know the name of the UI element it displays with in VSCode?
More generally, it would be very helpful to see a list of various UI elements used in the VSCode for Julia extension and a dump of all custom JSON settings. Then we could find what we need by experimentation.