%linenumber-length%
PrevNext

Name

%linenumber-length% — Width of line numbers in enumerated environments

Synopsis

%linenumber-length%

Description

Line numbers will be padded to %linenumber-length% characters.

Source Code

(define %linenumber-length% 
  ;; Width of line numbers in enumerated environments
  3)

PrevHomeNext
%html-pubid%Up%linenumber-mod%
 
 

Copyright © 1997, 1998 Norman Walsh