%linenumber-length%
Line numbers will be padded to %linenumber-length% characters.
(define %linenumber-length% ;; Width of line numbers in enumerated environments 3)
Copyright © 1997, 1998 Norman Walsh