�|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.
