I got it, now. Now the font is blurry and pixelated. One step forward, at least.
EDIT: I figured it out. Just scale the font up, then set the default size proportionately smaller to the size it was scaled up to.
Thanks for pointing that out.
