merged
authortraytel
Wed Nov 06 16:38:58 2019 +0100 (8 days ago ago)
changeset 71260b3956a37c994
parent 71258 1d19e844fa4d
parent 71259 295609359b58
child 71261 c9c1a64eeb69
child 71262 d628bbdce79a
merged
     1.1 --- a/src/HOL/Analysis/document/root.tex	Wed Nov 06 09:25:53 2019 +0100
     1.2 +++ b/src/HOL/Analysis/document/root.tex	Wed Nov 06 16:38:58 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}