Comment changer la taille de la police sur une partie de la page dans LaTeX?

Je voudrais changer la taille du texte pour une partie de la page, par exemple pour un bloc verbatim:

\begin{verbatim}
   <how to set font size here to 10 px ? />
\end{verbatim}

Cordialement

\begingroup
    \fontsize{10pt}{12pt}\selectfont
    \begin{verbatim}  
        % how to set font size here to 10 px ?  
    \end{verbatim}  
\endgroup

Exemple:

\Large\begin{verbatim}
   <how to set font size here to 10 px ? />
\end{verbatim}
\normalsize

\Large peut être évidemment remplacé par l'un des éléments suivants:

\tiny
\scriptsize
\footnotesize
\small
\normalsize
\large
\Large
\LARGE
\huge
\Huge

Si vous avez besoin de tailles de police arbitraires:

• Comment puis-je obtenir une taille de police arbitraire dans LaTeX?

L'utilisation du package \usepackage{fancyvrb}permet la définition de l'argument fontsize dans Verbatim:

\begin{Verbatim}[fontsize=\small]
print "Hello, World"
\end{Verbatim}

La taille de police que vous pouvez spécifier est la

\tiny 
\scriptsize  
\footnotesize 
\small
\normalsize
\large
\Large
\LARGE
\huge
\Huge

Pour ajouter une taille de police exacte, vous pouvez utiliser ce qui suit. A travaillé pour moi car dans mon cas, les plages prédéfinies (grande, petite) ne correspondent pas à la taille de police requise pour moi.

\fontsize{10}{12}\selectfont This is the text you need to be in 10px

Plus d'infos: https://tug.org/TUGboat/tb33-3/tb105thurnherr.pdf

http://en.wikibooks.org/wiki/LaTeX/Formatting

utilisez \allttplutôt l'environnement. Ensuite, définissez la taille en utilisant les mêmes commandes qu'en dehors de l'environnement verbatim.