17 Giugno 2005 alle 13:14
#6151
::
Ecco dove l’avevo vista…
Per chi servisse, ho usato i seguenti comandi:
`\newlength{\hfont}
\makeatletter
\ifcase \@ptsize% comandi e definizioni per il corpo 10pt
\setlength{\hfont}{10pt}%
\or% comandi e definizioni per il corpo 11pt
\setlength{\hfont}{11pt}%
\or% comandi e definizioni per il corpo 12pt
\setlength{\hfont}{12pt}%
\fi%
\makeatother`