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 |