Comment changer la taille de police sur la partie de la page en LaTeX?

J'aimerais changer la taille du texte pour une page, par exemple pour verbatim bloc:

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

Ce qui concerne

  • px → pt, peut-être?
InformationsquelleAutor jwaliszko | 2010-07-10
  1. 93
    \begingroup
    \fontsize{10pt}{12pt}\selectfont
    \begin{verbatim}  
        % how to set font size here to 10 px ?  
    \end{verbatim}  
\endgroup
    • Le premier paramètre à fontsize est la taille de la police pour passer à la seconde est l'espacement de ligne à utiliser
    InformationsquelleAutor Alexey Malistov
  2. 51

    Exemple:

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

    \Large peut évidemment être remplacé par l'un de:

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

    Si vous avez besoin d'arbitraire tailles de police:

    • Est-il un moyen de fournir de la taille exacte ?
    • Gardez à l'esprit que cela va à l'encontre de l'esprit de LaTeX. Pourquoi voulez-vous une taille exacte, de toute façon?
    • comment puis-je obtenir familier avec l'esprit de celui-ci? Je vais apprécier si vous fournir quelques références
    InformationsquelleAutor miku
  3. 12

    L'utilisation de l'emballage \usepackage{fancyvrb} permet la définition de la taille de la police argument à l'intérieur de Verbatim:

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

    Taille de la police que vous pouvez définir sont les communes 

    \tiny 
\scriptsize  
\footnotesize 
\small
\normalsize
\large
\Large
\LARGE
\huge
\Huge
    InformationsquelleAutor Aziz Alto
  4. 0

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

    utilisation \alltt de l'environnement à la place. Ensuite, réglez la taille en utilisant les mêmes commandes que celles à l'extérieur de verbatim de l'environnement.

    InformationsquelleAutor Pickman