[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Deprecate Texinfo commands
From: |
Gavin Smith |
Subject: |
Re: Deprecate Texinfo commands |
Date: |
Tue, 17 Nov 2020 17:39:40 +0000 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Tue, Nov 17, 2020 at 08:13:29AM +0100, Werner LEMBERG wrote:
> Irrespective of that I wonder what must be done in the future to make
> `@smallexample` be output with smaller type in HTML...
It's probably not possible. You could make both @example and
@smallexample smaller everywhere using CSS. I don't know any way of
applying CSS rules to just a part of the manual.
There are other possibilities like directly writing something like
@html
<pre class='small'>
....
</pre>
@end html
plus CSS rules. This is complicated but hopefully not necessary in too
many places.
- Re: Deprecate Texinfo commands, (continued)
- Re: Deprecate Texinfo commands, Gavin Smith, 2020/11/11
- Re: Deprecate Texinfo commands, Patrice Dumas, 2020/11/11
- Re: Deprecate Texinfo commands, Gavin Smith, 2020/11/12
- Re: Deprecate Texinfo commands, Patrice Dumas, 2020/11/12
- Re: Deprecate Texinfo commands, Werner LEMBERG, 2020/11/12
- Re: Deprecate Texinfo commands, Gavin Smith, 2020/11/16
- Re: Deprecate Texinfo commands, Patrice Dumas, 2020/11/16
- Re: Deprecate Texinfo commands, Gavin Smith, 2020/11/16
- Re: Deprecate Texinfo commands, Patrice Dumas, 2020/11/16
- Re: Deprecate Texinfo commands, Werner LEMBERG, 2020/11/17
- Re: Deprecate Texinfo commands,
Gavin Smith <=