Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.70 ">
Print Parameter Reference: Part of the Modular DocBook Stylesheet distribution
PrevNext

%verbatim-size-factor%

Name

%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)
PrevHomeNext
%ss-shift-factor%Up%bf-size%