Ah. That would have been good to know! I was looking mostly in the interface for a font size tweaker of some kind.