Naturally, I tried the css/code view setting. Did not have any effect. I have it set to Arial.
I ended up deleting that other font instead. It's not like it ever got used.
Sigil defaulted to another oddball (but legible) font. I have no idea how it decides what font to use for the user interface. I'm lucky it didn't decide on dingbats.