Re: Variable pitch mode line

[Tomas Hlavaty]

>
> 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.
iirc info files are not that complex.  How difficult would it be to
transform an info file to html in Lisp and display it with eww/shr on
the fly?  In my emacs-unoffice package, I explored this for various
office formats and it seems like a reasonably useable solution.