Re: Variable pitch mode line

[Eli Zaretskii]

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