Re: Variable pitch mode line

[Eli Zaretskii]

> From: Tomas Hlavaty <tom@logand.com>
> Date: Fri, 24 Dec 2021 00:00:57 +0100
> Cc: Tassilo Horn <tsdh@gnu.org>, Lars Ingebrigtsen <larsi@gnus.org>,
>  Emacs developers <emacs-devel@gnu.org>, Juri Linkov <juri@linkov.net>
> 
> btw, for example in slime.info, I see paragraphs delimited with empty
> line.  Also 3 spaces for indenting paragraphs and 5 spaces for code.  Is
> that not always the case?

It's something that can be changed via an appropriate Texinfo setting.

Again, I suggest a good reading of the Texinfo manual.  It is a very
good manual, and will teach you some surprising and even awesome
stuff.