src/HOL/Analysis/document/root.tex
changeset 69608 2b3a247889f8
parent 69529 4ab9657b3257
child 69676 56acd449da41
--- 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