%verbatim-default-width%
Name
%verbatim-default-width% -- Default width of verbatim environments
Synopsis
%verbatim-default-width%
Description
If no WIDTH attribute is specified on verbatim environments,
%verbatim-default-width% is the default. Note: this width only
comes into play if %verbatim-size-factor% is #f.
Source Code
(define %verbatim-default-width%
;; Default width of verbatim environments
80)