src/HOL/Docs/document/root.tex

--- a/src/HOL/Docs/document/root.tex	Tue Mar 10 22:22:52 2009 +0100
+++ b/src/HOL/Docs/document/root.tex	Wed Mar 11 11:40:58 2009 +0100
@@ -1,4 +1,13 @@
-\documentclass[11pt,a4paper]{article}
+\documentclass[12pt,a4paper]{article}
+
+\oddsidemargin=4.6mm
+\evensidemargin=4.6mm
+\textwidth=150mm
+\topmargin=4.6mm
+\headheight=0mm
+\headsep=0mm
+\textheight=234mm
+
 \usepackage{isabelle,isabellesym}
 
 % further packages required for unusual symbols (see also