As someone who works in software, one issue I have is that all code (fixed-width) fonts I’m using tend to be TOO BIG relative to the normal text fonts. Would there be any way to independently set a ratio or scale for the code font? My code snippets are HUGE because of the size of the text.
And, to get the code font size down, my standard text ends up being too hard to read.
The size of the code font actually looks good if the text font is set to be the default Bear Sans UI, and once the text font is changed, (without changing the code font) the size of the code font grows noticeably larger.