diff -r 4d9eecfc936a -r a6d72af04096 thys3/document/root.tex
--- a/thys3/document/root.tex	Mon May 02 00:23:39 2022 +0100
+++ b/thys3/document/root.tex	Mon May 02 00:24:01 2022 +0100
@@ -35,8 +35,8 @@
 
 \addtolength{\oddsidemargin}{-1.5mm}
 \addtolength{\evensidemargin}{-1.5mm}
-\addtolength{\textwidth}{4mm}
-\addtolength{\textheight}{1.5mm}
+\addtolength{\textwidth}{3.4mm}
+\addtolength{\textheight}{1.4mm}
 
 \def\lexer{\mathit{lexer}}
 \def\mkeps{\mathit{mkeps}}