Re: Variable pitch mode line

[Tassilo Horn]

Eli Zaretskii <eliz@gnu.org> writes:

>> What's the problem with info?  I mean, we use special environments
>> such as `@example ... @end example` in order to mark non-prose text
>> in the texi files.  Right now, they seem to only add some indentation
>> in the info files.  But couldn't makeinfo add some hints (like some
>> invisible chars) so that info readers could detect such non-prose
>> text?
>
> It could, perhaps, but then it would have to be done by the Texinfo
> project, not by us.

Obviously.  Well, I guess their time is better spent improving the HTML
version.  Hm, but those also don't look good in eww/shr because that
doesn't support css.

Bye,
Tassilo