Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.70 ">

%top-margin%

Name

%top-margin% -- Height of top margin

Synopsis

%top-margin%

Description

The %top-margin% parameter specifies the height of the top 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 %top-margin% 
  ;; Height of top margin
  (if (equal? %visual-acuity% "large-type")
      7.5pi
      6pi))