[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
- html manual +css, Jean-Christophe Helary, 2017/06/02
- Re: html manual +css, Paul Eggert, 2017/06/02
- Re: html manual +css, Jean-Christophe Helary, 2017/06/02
- Re: html manual +css,
Jean-Christophe Helary <=
- Re: html manual +css, Yuri Khan, 2017/06/02
- Re: html manual +css, Eli Zaretskii, 2017/06/02
- Re: html manual +css, Jean-Christophe Helary, 2017/06/02
- Re: html manual +css, Jean-Christophe Helary, 2017/06/05
- Re: html manual +css, Richard Stallman, 2017/06/06
- Re: html manual +css, Jean-Christophe Helary, 2017/06/06
- Re: html manual +css, Jean-Christophe Helary, 2017/06/07