# HG changeset patch
# User nipkow
# Date 1573034890 -3600
# Node ID 295609359b5838744a9e109e68de863125cec079
# Parent  9b531e611d66a88dce07a0046d2c834d0fe92c18
tuned toc

diff -r 9b531e611d66 -r 295609359b58 src/HOL/Analysis/document/root.tex
--- a/src/HOL/Analysis/document/root.tex	Tue Nov 05 22:56:06 2019 +0100
+++ b/src/HOL/Analysis/document/root.tex	Wed Nov 06 11:08:10 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}