Re: Nicer looking Info - html manual +css

[Eli Zaretskii]

> From: Yuan Fu <address@hidden>
> Date: Sun, 19 Jan 2020 12:27:22 -0500
> Cc: Eli Zaretskii <address@hidden>,
>  "address@hidden" <address@hidden>,
>  "address@hidden" <address@hidden>
> 
> Since we are talking about Emacs’ Info, it would be nice to add proper 
> variable pitch support.

You can't.  Info files are formatted by an external tool, and that
tool assumes a fixed-pitch font (and a text-mode display in general).

If you want a variable-pitch-mode manual, you should look at the HTML
output from Texinfo, not the Info output.