Re. Console font size

Whoops!  Sorry all - found the answer just after I hit the send  
button.  Of course, the Format menu item now handles the console font  
details.
Apologies....
Alan Kelly