%footnote-size-factor%
When printing footnotes, the current font size is multiplied by the %footnote-size-factor%.
Norman Walsh, <ndw@nwalsh.com>
(define %footnote-size-factor% ;; Footnote font scaling factor 0.9)