Immagino che con il pacchetto relsize tu possa risolvere il problema:
`\usepackage{relsize}
\def\UrlFont{\relsize{-1}\ttfamily}`
Molte grazie. Come mi ha ricordato il compositore, c’era una parentesi di troppo, ma questa è proprio la soluzione che stavo cercando.
Il controllo se \selectfont è definito è un relitto del passato: pensi di voler usare quelle macro in documenti scritti per LaTeX 2.09?
Non credo di avere mai scritto un documento per LaTeX 2.09. In realtà, cerco di usare i pacchetti e i comandi nel modo più «attuale» possibile, anche seguendo i vari consigli che trovo sul forum.
Ma sei proprio sicuro di \footnotesize? In una nota a piè di pagina ti verrebbe \tiny: mi pare piuttosto piccolo
In effetti, hai ragione; ho modificato il codice da te suggerito usando il valore -1.
Mancava una premessa: in un documento in cui ho specificato l’opzione 11pt a book.cls, sto usando il Minion Pro come carattere normale, e il Bitstream Letter Gothic 12 Pitch come carattere dattilografico: rispetto al primo, il secondo «sborda», da cui la mia necessità.
Purtroppo, dopo avere acquistato quest’ultimo font, ho letto nelle istruzioni per l’uso che l’unico modo per richiamarlo è mediante l’istruzione
`\renewcommand\ttdefault{blg}`
Non dispongo di un pacchetto relativo al carattere che consenta di scalarlo (come fa ad esempio couriers.sty), quindi sono costretto a fare le cose a mano.
Mi rendo conto però che il «passo» usato da relsize.sty è più di quanto ci si aspetti, perché nel mio caso \url{http://www.google.it} (con \relsize{-1}\ttfamily) e {\footnotesize\texttt{http://www.google.it/}} hanno la stessa dimensione (mi aspettavo che -1 portasse il suo argomento a \small).
\normalsize con \footnotesize insieme stanno davvero male.
Credo che questo sia vero per le famiglie di caratteri per le quali siano stati progettati ad hoc sia il \rmfamily sia il \ttfamily, come i Computer Modern, non necessariamente per gli accostamenti personalizzati.
Grazie e a presto.