Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédente | ||
| fichiers:fontes:modifier_la_fonte_du_mode_verbatim [2016/10/16 07:28] – créée jejust | 5_fichiers:fontes:modifier_la_fonte_du_mode_verbatim [2023/05/07 09:17] (Version actuelle) – Remise en forme. jejust | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | \question{Comment modifier la police du mode verbatim~?} | + | ====== |
| - | \reponse \ctan{macros/ | + | $\Reponse$ |
| - | conseillé d' | + | disponible sur https:// |
| - | + | caractères | |
| - | \reponse | + | |
| - | disponible sur \ctan{macros/ | + | |
| - | caractères | + | |
| donc entre autres opérer des changements de police. | donc entre autres opérer des changements de police. | ||
| - | \reponse Pour changer la taille de la police du mode \env{verbatim}, | + | FIXME Réponse obsolète. |
| - | l' | + | |
| - | Exemple~: | + | $\Reponse$ |
| - | \begin{noexemple} | + | de l' |
| + | |||
| + | <code latex> | ||
| Texte avant. | Texte avant. | ||
| Ligne 23: | Ligne 21: | ||
| Texte après. | Texte après. | ||
| - | \end{noexemple} | + | </ |
| + | |||
| + | |||
| + | $\Reponse$ | ||
| + | conseillé d' | ||
| + | |||
| + | ----- | ||
| + | //Source:// [[https:// | ||
| + | |||
| + | {{htmlmetatags> | ||
| + | metatag-og: | ||
| + | metatag-og: | ||
| + | }} | ||
| - | \endinput | ||

