# HG changeset patch
# User traytel
# Date 1573054738 -3600
# Node ID b3956a37c99476571bfda9312da927dfdfdcb6b1
# Parent  1d19e844fa4dc7a5b6fc7704f8eaf059e48df968# Parent  295609359b5838744a9e109e68de863125cec079
merged

diff -r 1d19e844fa4d -r b3956a37c994 src/HOL/Analysis/document/root.tex
--- a/src/HOL/Analysis/document/root.tex	Wed Nov 06 09:25:53 2019 +0100
+++ b/src/HOL/Analysis/document/root.tex	Wed Nov 06 16:38:58 2019 +0100
@@ -10,14 +10,20 @@
 \usepackage{pdfsetup}
 
 \usepackage{tocloft}
-\setlength{\cftsubsecnumwidth}{3em}
+\setlength{\cftsubsecnumwidth}{3.5em}
 \cftsetpnumwidth{2em}
 \cftsetrmarg{3em}
+\renewcommand\cftchapafterpnum{\vskip5pt}
+\addtolength{\cftsubsecindent}{-1\cftsecindent}% Reduce indent for \subsection
+\setlength{\cftsecindent}{0pt}% Remove indent for \section
+%\renewcommand{\numberline}[1]{#1~}% More compact but uneven indentation
 
 \urlstyle{rm}
 \isabellestyle{literalunderscore}
 \pagestyle{myheadings}
 
+\raggedbottom
+
 \begin{document}
 
 \title{Analysis}