^ Ok. I was reluctant to test, but you seem so sure, I decided to test anyway. You were right.
Fonts *do* scale relative to each other, so the title font IS bigger than the others, even when you pick a new font and size.
However, the other problem still remains, that I can't seem to get back to the original font. I'm using the Mac version and Sergeo does not exist there. Interestingly, restoring a Library backup (settings only) does not restore the font.
However, restoring a (file) backup of User Settings.ini *does* restore the original font. But, because I don't know what that font is, *and* it's not highlighted in the interface, I have no way to change font sizes and retain the original font. I suppose if I knew what that font was, all would be well. It just seems odd that the font is never shown. I'd also have to guess at what the original font size was until it looked like I remembered.
Brian.