Re: Variable pitch mode line

[Eli Zaretskii]

> Date: Thu, 23 Dec 2021 22:02:50 +0200
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: larsi@gnus.org, emacs-devel@gnu.org, juri@linkov.net
> 
> > From: Tassilo Horn <tsdh@gnu.org>
> > Cc: larsi@gnus.org, juri@linkov.net, emacs-devel@gnu.org
> > Date: Thu, 23 Dec 2021 20:48:09 +0100
> > 
> > > 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.
> 
> The new JSInfo reader also needs Javascript, I believe.

Actually, let me correct that, to avoid misinterpretation.  JSInfo is
not a program, it is a way of producing HTML-formatted manuals from
Texinfo that (1) display nicer in a Web browser, and (2) solve almost
all the deficiencies of HTML manuals as compared to Info manuals: you
get the equivalent of Info-index command, regexp-search command, etc.
It does that by adding some Javascript to the manual.