Hello,
You can change font size in “Choose A Terminal Font” window.
but perhaps you cannot find font size section just becouse the section is out of the screen.
Hold down Alt key and drag the “Choose A Terminal Font” window up,
then you can see font size section at the bottom of the window.
