# HG changeset patch
# User wenzelm
# Date 1546785545 -3600
# Node ID 2b3a247889f8d423853dcc41569e576fe33cff31
# Parent  7cd977863194a87b0a532996d1cb0e8c3952c3e4
tuned document layout;

diff -r 7cd977863194 -r 2b3a247889f8 src/HOL/Analysis/document/root.tex
--- a/src/HOL/Analysis/document/root.tex	Sun Jan 06 15:38:56 2019 +0100
+++ b/src/HOL/Analysis/document/root.tex	Sun Jan 06 15:39:05 2019 +0100
@@ -9,6 +9,11 @@
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage{pdfsetup}
 
+\usepackage{tocloft}
+\setlength{\cftsubsecnumwidth}{3em}
+\cftsetpnumwidth{2em}
+\cftsetrmarg{3em}
+
 \urlstyle{rm}
 \isabellestyle{literalunderscore}
 \pagestyle{myheadings}
@@ -21,7 +26,7 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[width=\linewidth]{session_graph}
+  \includegraphics[height=\textheight]{session_graph}
 \end{center}
 
 \newpage