+-----------------------------------------------------------------------------+
|                               linenumberfont                                |
+-----------------------------------------------------------------------------+
 
Abbreviation:  �|\lnf�%
 
Parameters:    �|font�%
 
    �|Description:�%
When \printingnumbers{yes} and \countinglines{yes} have both been specified,
this markup is used to specify what font the line number is to be printed in
the margin of  a document.  It  need only be specified once  at the top of a
document.  The  default is font "etsc 8", which  is English Times Small Caps
at 8 point.
 
    �|Example:�%
If you wanted to use Plantin Roman, you would specify:
 
\linenumberfont{plr 10}
 
    �|Notes:�%
Line numbering  is only available  on the phototypesetter.    This markup is
ignored for all other printers.
    See the Font Catalog to determine what fonts to use.