4 Gennaio 2011 alle 9:14
#54223
::
I leader per i puntini sono di tre tipi diversi; la differenze sono sottilissime e se ne possono leggere i dettagli tecnici nel TeXbook.
L’idea di mettere i puntini nell’indice per i capitoli non è buona, perché la riga dell’indice per i capitoli è scritta in neretto, compreso il numero della pagina, e non con il font normale. Perciò i puntini sono superflui.