[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: html manual +css

From: Jean-Christophe Helary
Subject: Re: html manual +css
Date: Fri, 2 Jun 2017 23:56:16 +0900

> 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]