mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

Try to prepare what you want in the header in a regular document, including 
e.g. colors or frames, and then copy it in the header.
Does not work?

Max


> On 8. Dec 2020, at 00:23, Vincent Douce Mathoscope <address@hidden> wrote:
> 
> hi i always put "made with texmacs etc..." in the headers of my docs
> but i would like it to be in a different color (gray)
> i dont find how to change the color of the font of anything written in the 
> headers
> Vincent
> 
>