Colors Menu

    This menu allows you to choose the color of various
components of your document.
In particular the color of the user font, one of the font whose characters you choose how they are translated in TeX for your macros etc..., is set as the Color user4.