%header-margin%
Name
%header-margin% -- Height of header margin
Description
The %header-margin% parameter specifies the heigth
of the header margin
of the page. Note that this setting is relative to the physical page,
not the writing direction.
Author
Norman Walsh, <ndw@nwalsh.com>
Source Code
(define %header-margin%
;; Height of header margin
(if (equal? %visual-acuity% "large-type")
5.5pi
4pi))