On Tue, Nov 17, 2020 at 12:50:55PM +0100, Patrice Dumas wrote:
> On Tue, Nov 17, 2020 at 07:27:45AM +, Gavin Smith wrote:
> > On Tue, Nov 17, 2020 at 12:18:31AM +0100, Patrice Dumas wrote:
> > > +++ t/results/indices/encoding_index_latin1.pl.new 2020-11-17
> > > 00:00:54.879434507 +0100
>
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.
Gavin Smith wrote:
[...]
In the Perl code, however, there is always a current line number object
available and when this is referenced the line number is stored as
a reference to the object. It looks like
$current->{'contents'}->[-1]->{'line_nr'} = $line_nr;
Hence the object can easi
On Tue, Nov 17, 2020 at 07:27:45AM +, Gavin Smith wrote:
> On Tue, Nov 17, 2020 at 12:18:31AM +0100, Patrice Dumas wrote:
> > +++ t/results/indices/encoding_index_latin1.pl.new 2020-11-17
> > 00:00:54.879434507 +0100
> > @@ -158,7 +158,7 @@
> >'contents' => [
> >