Re: Variable pitch mode line

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: luangruo@yahoo.com,  juri@linkov.net,  emacs-devel@gnu.org,
>   monnier@iro.umontreal.ca,  tsdh@gnu.org
> Date: Fri, 24 Dec 2021 15:01:52 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > But for displaying HTML docs that were produced by makeinfo, that's
> > not a problem, right?
> 
> You mean something special for info-html, sure, that's possible.  But
> the manual does use columns:
> 
>   https://www.gnu.org/software/emacs/manual/html_mono/elisp.html

That's the TOC (or maybe other menus), where the columns are not
really important, IMO.