Default font for log

Stan Warford (warford@pepperdine.edu)
Wed, 7 Aug 96 23:35:35 PDT

Is there any persistent way to change the default font for the
log?

Stan Warford
Pepperdine University
warford@pepperdine.edu