Vorrei modificare la dimensione del testo per alcune parti della pagina, ad esempio per il blocco verbatim:
\begin{verbatim}
<how to set font size here to 10 px ? />
\end{verbatim}
Saluti
Risposte:
\begingroup
\fontsize{10pt}{12pt}\selectfont
\begin{verbatim}
% how to set font size here to 10 px ?
\end{verbatim}
\endgroup
fontsize
è la dimensione del carattere a cui passare e il secondo è l'interlinea da utilizzare
Esempio:
\Large\begin{verbatim}
<how to set font size here to 10 px ? />
\end{verbatim}
\normalsize
\Large
può ovviamente essere sostituito da uno di:
\tiny
\scriptsize
\footnotesize
\small
\normalsize
\large
\Large
\LARGE
\huge
\Huge
Se hai bisogno di dimensioni dei caratteri arbitrarie:
L'utilizzo del pacchetto \usepackage{fancyvrb}
permette la definizione dell'argomento fontsize all'interno di Verbatim:
\begin{Verbatim}[fontsize=\small]
print "Hello, World"
\end{Verbatim}
Le dimensioni del carattere che puoi specificare sono le comuni
\tiny
\scriptsize
\footnotesize
\small
\normalsize
\large
\Large
\LARGE
\huge
\Huge
Per aggiungere la dimensione esatta del carattere è possibile utilizzare quanto segue. Ha funzionato per me poiché nel mio caso gli intervalli predefiniti (grande, piccolo) non corrispondono alla dimensione del carattere richiesta.
\fontsize{10}{12}\selectfont This is the text you need to be in 10px
Maggiori informazioni: https://tug.org/TUGboat/tb33-3/tb105thurnherr.pdf
http://en.wikibooks.org/wiki/LaTeX/Formatting
usa \alltt
invece l'ambiente. Quindi impostare le dimensioni utilizzando gli stessi comandi dell'ambiente esterno verbatim.
px
→pt
, forse?