Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.70 ">

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