diff options
Diffstat (limited to 'doc/user')
| -rw-r--r-- | doc/user/lout/book-style.lout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/lout/book-style.lout b/doc/user/lout/book-style.lout index 46c4021..4d76759 100644 --- a/doc/user/lout/book-style.lout +++ b/doc/user/lout/book-style.lout @@ -89,7 +89,7 @@ # 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 + # 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. |