Re: Variable pitch mode line

[Juri Linkov]

>>> 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?

Texinfo already adds invisible markers to the index and images,
so it could output more invisible markup indeed.