This is what we figured out, and this is also found in this answer and also this answer (I’ll quote):
Go to Preferences → General → Appearance → Colors and Fonts, expand the “Basic” folder and select “Text Font” and change that to whatever size you like.
Pretty simple!
