Re: Variable pitch mode line

[Juri Linkov]

>> 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.
>>
>> But the problem is that most GNU/Linux distributions still don't include
>> Info manuals in the HTML format alongside with the Info format.
>> Thus we are stuck with monospaced Info manuals forever.
>
> Well, not necessarily.  If we started making HTML the preferred format
> for the `C-h i' etc, then they'd probably follow after a while.  And
> it'd be fine for some manuals to be in HTML while other remain in INFO.

Probably not before the standalone Info reader will support HTML.

> But nobody's yet to make an info-html-minor mode (or a major mode a la
> eww building upon shr), so it's still academic.

It can't be a mode because some Info manuals are split among several files.