{Begin SubSec BIG}

{FnDef {FnName NEWFONT} {FnArgs SIZE}
{Text
The function {FnName NEWFONT} sets up default fonts to be "size", where size is one of the atoms {lisp BIG}, {lisp MEDIUM}, {lisp STANDARD} or {lisp SMALL}. It changes the prettyprint fonts, the default font for the break window, typin, etc. {FnName NEWFONT} does this by resetting {var FONTPROFILE} and then setting the fonts for all of the known windows. 

}