diff options
| -rw-r--r-- | doc/latex/cactus.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/latex/cactus.sty b/doc/latex/cactus.sty index e1aa00ed..c631bf1c 100644 --- a/doc/latex/cactus.sty +++ b/doc/latex/cactus.sty @@ -62,7 +62,7 @@ \oddsidemargin = 0 cm \textwidth = 16 cm \topmargin = -1 cm -\textheight = 24 cm +\textheight = 22 cm |