[Top][All Lists]

[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

<pre class='small'>
@end html

plus CSS rules.  This is complicated but hopefully not necessary in too
many places.

reply via email to

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