
diff -r ab626b60ee64 -r 6a100d32314c thys3/document/root.tex
--- a/thys3/document/root.tex	Sun May 01 11:50:46 2022 +0100
+++ b/thys3/document/root.tex	Sun May 01 23:16:44 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}}




