Re: [External] : Re: Indentation conventions for Info manuals; recognizing code

[Yuri Khan]

On Mon, 8 Mar 2021 at 10:49, Drew Adams <drew.adams@oracle.com> wrote:

> Too bad the translation has to be lossy.  The
> effect of showing <code>-like stuff is helpful
> (and is common in technical doc).
>
> And something will be needed if we ever hope to
> allow for variable-pitch text for most regular
> text while using fixed-pitch for places it makes
> sense (e.g. code).

You *want* nice variable-pitch text in Info, so you *ask for* a way to
distinguish code from body text in the Info output format, but what
you really *need* is the HTML output and a convenient browser for
that.