%verbatim-size-factor%
dbparam.dsl
%verbatim-size-factor%
Verbatim font scaling factor
Synopsis
%verbatim-size-factor%
Description
When a monospace font is selected, the current font size is multiplied
by the %verbatim-size-factor%. If %verbatim-size-factor%
is #f, no scaling is performed (Well, thats not precisely true.
In $verbatim-display$
environments, the font size is calculated with respect to the longest line
in the display, if %verbatim-size-factor% is #f').
Source Code
(define %verbatim-size-factor%
;; Verbatim font scaling factor
0.9)