[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Nicer looking Info - html manual +css
From: |
Eli Zaretskii |
Subject: |
Re: Nicer looking Info - html manual +css |
Date: |
Sun, 19 Jan 2020 19:39:07 +0200 |
> 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.
- Re: Nicer looking Info - Re: html manual +css, (continued)
- Re: Nicer looking Info - Re: html manual +css, Jean-Christophe Helary, 2020/01/17
- Re: Nicer looking Info - html manual +css, ndame, 2020/01/18
- Re: Nicer looking Info - html manual +css, Stefan Kangas, 2020/01/18
- Re: Nicer looking Info - html manual +css, ndame, 2020/01/19
- Re: Nicer looking Info - html manual +css, Eli Zaretskii, 2020/01/19
- Re: Nicer looking Info - html manual +css, ndame, 2020/01/19
- Re: Nicer looking Info - html manual +css, Eli Zaretskii, 2020/01/19
- Re: Nicer looking Info - html manual +css, ndame, 2020/01/19
- Re: Nicer looking Info - html manual +css, Eli Zaretskii, 2020/01/19
- Re: Nicer looking Info - html manual +css, Yuan Fu, 2020/01/19
- Re: Nicer looking Info - html manual +css,
Eli Zaretskii <=