mailing-list for TeXmacs Users

[Matteo Bertini <address@hidden>]

Hi all, I'm an happy texmacs user, and so let's start with a:

Thank you for your work!!

... and now the question:

can someone provide me a very simple custom style that... for example
redefine the Example to have a smaller font?

Like <with|font-size|0.84|>

I'd like to have a border surrounding all example, but I think now as
now it is not possible? Right?

Thanks again,
Matteo Bertini
http://naufraghi.freezope.org/