Réponses:
Avez-vous vu https://www.gnu.org/software/auctex/manual/auctex/Faces.html ?
M-x customize-group RET font-latex-highlighting-faces RET
Il existe un moyen général de changer les polices que vous voyez dans Emacs. Déplacez le point sur le texte en question et appuyez sur C-u C-x =
. Vous obtiendrez un *Help*
tampon avec quelque chose comme:
There are text properties here:
face font-lock-variable-name-face
Le nom du visage est un lien que vous pouvez ouvrir. Cela vous donne une description du visage, la première ligne étant:
Face: font-lock-variable-name-face (sample) (customize this face)
customize this face
est un lien qui vous amène au tampon de personnalisation approprié.