Gruppo Utilizzatori Italiani di TeX
No, aumentare l’interlinea potrebbe essere giustificato se le righe sono diventate più lunghe; ma se, aumentando i margini, sono diventate più corte l’interlinea preimpostata va benissimo.