Is there really no way to change font size?

Font settings are in the editor preferences. Editor Preferences were previously announced as missing.