Subject: mailing-list for TeXmacs Users
List archive
From : Vincent Douce Mathoscope <address@hidden>- To: address@hidden
- Subject: headers in color
- Date: Tue, 8 Dec 2020 00:23:51 +0100
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
- headers in color, Vincent Douce Mathoscope, 12/08/2020
- Re: headers in color, Massimiliano Gubinelli, 12/08/2020
- Re: headers in color, Frank, 12/08/2020
- Re: headers in color, Massimiliano Gubinelli, 12/08/2020
Archive powered by MHonArc 2.6.19.