tuned toc
authornipkow
Wed Nov 06 11:08:10 2019 +0100 (8 days ago ago)
changeset 71259295609359b58
parent 71257 9b531e611d66
child 71260 b3956a37c994
child 71281 ce92360f0692
tuned toc
src/HOL/Analysis/document/root.tex
     1.1 --- a/src/HOL/Analysis/document/root.tex	Tue Nov 05 22:56:06 2019 +0100
     1.2 +++ b/src/HOL/Analysis/document/root.tex	Wed Nov 06 11:08:10 2019 +0100
     1.3 @@ -10,14 +10,20 @@
     1.4  \usepackage{pdfsetup}
     1.5  
     1.6  \usepackage{tocloft}
     1.7 -\setlength{\cftsubsecnumwidth}{3em}
     1.8 +\setlength{\cftsubsecnumwidth}{3.5em}
     1.9  \cftsetpnumwidth{2em}
    1.10  \cftsetrmarg{3em}
    1.11 +\renewcommand\cftchapafterpnum{\vskip5pt}
    1.12 +\addtolength{\cftsubsecindent}{-1\cftsecindent}% Reduce indent for \subsection
    1.13 +\setlength{\cftsecindent}{0pt}% Remove indent for \section
    1.14 +%\renewcommand{\numberline}[1]{#1~}% More compact but uneven indentation
    1.15  
    1.16  \urlstyle{rm}
    1.17  \isabellestyle{literalunderscore}
    1.18  \pagestyle{myheadings}
    1.19  
    1.20 +\raggedbottom
    1.21 +
    1.22  \begin{document}
    1.23  
    1.24  \title{Analysis}