Re: html manual +css

[Jean-Christophe Helary]

> On Jun 2, 2017, at 23:45, Jean-Christophe Helary <address@hidden> wrote:
> 
> So either we modify the CSS to add @smallexample as a class that receives the 
> same background as @example (trivial and really fast), or we go through the 
> whole texi file set and remove all instances of @smallexample (trivial too 
> but longer)...

I mean *replace* all instances of @smallexample by @example.

> Jean-Christophe