doc/lout: Use the Van de Graaf canon for page construction.

* doc/user/lout/book-style.lout (@*Margin): Adjust.

1 files changed, 23 insertions, 13 deletions

diff --git a/doc/user/lout/book-style.lout b/doc/user/lout/book-style.lout
index da54d3f..423abd1 100644
--- a/doc/user/lout/book-style.lout
+++ b/doc/user/lout/book-style.lout
@@ -79,23 +79,34 @@
 ###############################################################################
 
 @Use { @DocumentSetup
-  # @PageType		{ A4	@OrIfPlain Other} # page type (width, height)
+    @PageType		{ A4	@OrIfPlain Other} # page type (width, height)
   # @PageWidth		{ 80s			} # page width if type Other
   # @PageHeight		{ 66f			} # page height if type Other
   # @PageOrientation	{ Portrait		} # Portrait, Landscape, etc.
   # @PageBackground	{  			} # background of each page
-    @TopMargin		{ 3.0c	@OrIfPlain 6f	} # top margin of all pages
-    @FootMargin		{ 3.0c	@OrIfPlain 6f	} # bottom margin of all pages
-    @OddLeftMargin	{ 3.0c	@OrIfPlain 10s	} # left margin of odd pages
-    @OddRightMargin	{ 3.0c	@OrIfPlain 10s	} # right margin of odd pages
-    @EvenLeftMargin	{ 3.0c	@OrIfPlain 10s	} # left margin of even pages
-    @EvenRightMargin	{ 3.0c	@OrIfPlain 10s	} # right margin of even pages
-  # @OddLeftBodyMargin	{ 0c			} # extra margin for page body
-  # @OddRightBodyMargin	{ 0c			} # extra margin for page body
-  # @EvenLeftBodyMargin	{ 0c			} # extra margin for page body
-  # @EvenRightBodyMargin{ 0c			} # extra margin for page body
+
+  # The Van de Graaf canon for page construction: small margin is 1/9th
+  # and large margin is 2/9th.
+
+  # `@TopMargin' is margin above headers.  We want a margin of 3.3c for
+  # the page _body  (i.e., excluding headers), so we have to choose
+  # `@TopMargin' = 3.3c - (`@MidGap' + 1.0f), since running headers are
+  # typeset in 1.0f and followed by a `@MidGap' gap.  We take:
+  # 1.0f = 10p = 0.35c and `@MidGap' = 0.75c.
+
+    @TopMargin		{ 2.2c	@OrIfPlain 6f	} # top margin of all pages
+    @FootMargin		{ 6.6c	@OrIfPlain 6f	} # bottom margin of all pages
+
+    @OddLeftMargin	{ 2.33c	@OrIfPlain 10s	} # left margin of odd pages
+    @OddRightMargin	{ 4.67c	@OrIfPlain 10s	} # right margin of odd pages
+    @EvenLeftMargin	{ 4.67c	@OrIfPlain 10s	} # left margin of even pages
+    @EvenRightMargin	{ 2.33c	@OrIfPlain 10s	} # right margin of even pages
+    @OddLeftBodyMargin	{ 0c			} # extra margin for page body
+    @OddRightBodyMargin	{ 0c			} # extra margin for page body
+    @EvenLeftBodyMargin	{ 0c			} # extra margin for page body
+    @EvenRightBodyMargin{ 0c			} # extra margin for page body
   # @PageBoxType	{ None			} # None Box CurveBox ShadowBox
-  # @PageBoxMargin	{ 1.00c			} # page box margin
+    @PageBoxMargin	{ 0.70c			} # page box margin
   # @PageBoxLineWidth	{			} # page box line thickness
   # @PageBoxPaint	{ none			} # page box paint
   # @PageBoxShadow	{ 0.60c			} # shadow margin if ShadowBox
@@ -292,7 +303,6 @@
   # @ExampleFormat	{ {@B { word @NumSep number title: } &2s} @Insert body }
   # @ProofWord		{ proof			} # "Proof" word, etc.
 
-  # @PageHeaders	{ Simple		} # None Simple Titles NoTitles
     @PageHeaders	{ Titles		} # None Simple Titles NoTitles
   # @PageNumbers	{ Arabic		} # page numbers
   # @FirstPageNumber	{ 1			} # number of first page