Colore

Se si usano i manuali in formato HTML, è possibile che alcuni collegamenti non funzionino e che non sia possibile visualizzare le sezioni a cui si fa riferimento, a meno che non siano stati installati tutti i manuali HTML.