Comment modifier la police du mode verbatim?
L'environnement verbatimcmd
du package moreverb,
disponible sur https://www.ctan.org/macros/latex/contrib/misc/ permet de garder les
caractères « contre-oblique » (\
) et les accolades ({
, et }
) actifs. On peut
donc entre autres opérer des changements de police.
Réponse obsolète.
Pour changer la taille de la police du mode verbatim
, il suffit
de l'encapsuler dans des commandes de modification de taille:
Texte avant. \begin{small} \begin{verbatim} Texte... \end{verbatim} \end{small} Texte après.
https://www.ctan.org/macros/latex/required/tools/ permet de faire cela. Il est alors conseillé d'utiliser des fontes aux normes T1.