|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
In case you want to change the colors and fonts used by font-latex please refer to the faces mentioned in the explanations above and use M-x customize-face <RET> <face> <RET>. All faces defined by font-latex are accessible through a customization group by typing M-x customize-group <RET> font-latex-highlighting-faces <RET>.
This document was generated on February 20, 2022 using texi2html 1.82.