%linenumber-length%
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)
