Re: Variable pitch mode line

[Tassilo Horn]

Juri Linkov <juri@linkov.net> writes:

>> BTW: I would love to have pixel-filled, variable pitch info docs.
>> `variable-pitch-mode' in info has the bad effect that also code
>> samples or ASCII art [like the cons box&arrows in (info "(elisp)
>> Building Lists")] then use the variable pitch font and misalign.
>
> The only way to reliably support variable pitch in the Info reader is
> by using HTML output from Texinfo and rendering it with eww/shr.

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?

Bye,
Tassilo