%footnote-size-factor%

Name

%footnote-size-factor% -- Footnote font scaling factor

Synopsis

%footnote-size-factor%

Description

When printing footnotes, the current font size is multiplied by the %footnote-size-factor%.

Author

Norman Walsh, <ndw@nwalsh.com>

Source Code

(define %footnote-size-factor% 
  ;; Footnote font scaling factor
  0.9)