Un saluto a tutti.
Sto redigendo un manuale e devo inserire una serie di righe di log.
Per motivi di larghezza pagina, cambio le dimensioni del font prima di \begin{verbatim}
e le ripristino dopo \end{verbatim}
Quello che ottengo però è una pagina dove l’interlinea dei paragrafi è visibilmente diversa.Sperando di non fare un post troppo lungo:`…`Lo stesso risultato l’ottengo anche se uso:`\begin{scriptsize}
\begin{verbatim}
…
\end{verbatim}
\end{scriptsize}`Come posso risolvere?
È troppo lungo. 😀
A parte che in questi casi è meglio usare fancyverb oppure più semplicemente il pacchetto verbatim che permette facilmente di modificare il corpo dei caratteri usati nell’ambiente verbatim, ti dico perché il tuo modo di scrivere non funziona.
Il comando \begin{verbatim} a un certo punto emette un \par, che fa terminare il paragrafo precedente. Solo che, a questo punto, è già in vigore \scriptsize, che modifica l’interlinea; quindi il paragrafo precedente viene composto con l’interlinea adatta a \scriptsize, che non è ciò che desideri. Il modo corretto è di scrivere \par\scriptsize. Con il pacchetto verbatim puoi fare meglio:`\usepackage{verbatim}
\newenvironment{smallverb}[1][\scriptsize]
{\par#1\verbatim}
{\endverbatim}`Se dopo \begin{smallverb} non metti niente, ottieni un verbatim in \scriptsize; se scrivi \begin{smallverb}[\footnotesize] ne ottieni uno in \footnotesize.
Ciao
Enrico