Gruppo Utilizzatori Italiani di TeX
Un’altra soluzione potrebbe essere quella di diminuire leggermente il font del mini-indice…ma sapete suggerirmi come si fa? Grazie