Waking up to this feels like “God” has answered some prayers or something! Ha ha ha ha!
Thank you @wumpus!
edit: out of curiosity, what was the default size? 12px? 10px? Feels like 10px to me!
edit again: nvm, I saw in the Migration Change Log that default was 14px. Really, just 1px increase? Oh well, better than 14px, I guess.