#sundaycommit

2023-04-02 23:32:29 +02:00
parent 28c260ea5e
commit 52b7bbe6ef
8 changed files with 176 additions and 68 deletions
@@ -21,14 +21,14 @@
 \makeindex

 \setlength \parindent {2em}
-\setlength \parskip {0.33em}		% XXX
+\setlength \parskip {0.30em}		% XXX

 %------ reglages des 'listings'
 \lstset{frame=single}           % dessin d'un cadre autour du listing
 \lstset{basicstyle=\ttfamily\small}
 \lstset{aboveskip=1.0em,belowskip=1.0em}

-\setcounter{tocdepth}{1}
+\setcounter{tocdepth}{1}	% XXX à regarder un de ces jours ?
 \pagestyle{plain}

 \usepackage{pifont}             % caractères rigolos