%linenumber-length%
Line numbers will be padded to %linenumber-length% characters.
(define %linenumber-length% ;; Width of line numbers in enumerated environments 3)