Eu gostaria de alterar o tamanho do texto para alguma parte da página, por exemplo, para o bloco literal:
\begin{verbatim}
<how to set font size here to 10 px ? />
\end{verbatim}
Saudações
Respostas:
\begingroup
\fontsize{10pt}{12pt}\selectfont
\begin{verbatim}
% how to set font size here to 10 px ?
\end{verbatim}
\endgroup
fontsize
é o tamanho da fonte para a qual alternar e o segundo é o espaçamento de linha a ser usado
Exemplo:
\Large\begin{verbatim}
<how to set font size here to 10 px ? />
\end{verbatim}
\normalsize
\Large
pode ser obviamente substituído por um de:
\tiny
\scriptsize
\footnotesize
\small
\normalsize
\large
\Large
\LARGE
\huge
\Huge
Se você precisar de tamanhos de fonte arbitrários:
O uso do pacote \usepackage{fancyvrb}
permite a definição do argumento tamanho da fonte dentro do literal:
\begin{Verbatim}[fontsize=\small]
print "Hello, World"
\end{Verbatim}
O tamanho da fonte que você pode especificar é o comum
\tiny
\scriptsize
\footnotesize
\small
\normalsize
\large
\Large
\LARGE
\huge
\Huge
Para adicionar o tamanho de fonte exato, você pode usar o seguinte. Funcionou para mim, pois no meu caso os intervalos predefinidos (grande, minúsculo) não correspondem ao tamanho da fonte exigido para mim.
\fontsize{10}{12}\selectfont This is the text you need to be in 10px
Mais informações: https://tug.org/TUGboat/tb33-3/tb105thurnherr.pdf
http://en.wikibooks.org/wiki/LaTeX/Formatting
\alltt
em vez disso, use o ambiente. Em seguida, defina o tamanho usando os mesmos comandos do ambiente externo literal.
px
→pt
, talvez?