I like to switch between a theme’s font and a monospace font fairly frequently. It’s a bit of a pain to open settings and then type in a font (and then open settings ansd delete it later) when I would like to switch.
I was hoping there would be a way to override a theme’s font using CSS. I found the approach in How to change font? works well (example below), but
It overrides the GUI font, which I wasn’t intending to do
Although it is quicker than typing in a font, it still requires me to toggle the CSS.
:root {
--default-font: Consolas !Important;
}
Is there a way to either override the editor font (and not GUI) using CSS, or find some other way to create a hotkey to change everything to monospace temporarily?