From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Nicer looking Info - html manual +css Date: Sun, 19 Jan 2020 19:39:07 +0200 Message-ID: <83o8uzxs5g.fsf@gnu.org> References: <7930E155-E181-4D4C-B39E-5A05F732D667@traduction-libre.org> <83a76jzdd2.fsf@gnu.org> <7B89ECFD-D6EB-4BE8-ACB4-3DCC9021973D@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="86614"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacsuser@freemail.hu, stefan@marxist.se, emacs-devel@gnu.org To: Yuan Fu Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun Jan 19 18:39:45 2020 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1itEY4-000MSl-JF for ged-emacs-devel@m.gmane-mx.org; Sun, 19 Jan 2020 18:39:44 +0100 Original-Received: from localhost ([::1]:52124 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1itEY3-00069I-JH for ged-emacs-devel@m.gmane-mx.org; Sun, 19 Jan 2020 12:39:43 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:55733) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1itEXR-0005jP-Dv for emacs-devel@gnu.org; Sun, 19 Jan 2020 12:39:06 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:38065) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1itEXQ-0004XG-Bl; Sun, 19 Jan 2020 12:39:04 -0500 Original-Received: from [176.228.60.248] (port=1265 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1itEXP-0006dR-D6; Sun, 19 Jan 2020 12:39:04 -0500 In-reply-to: <7B89ECFD-D6EB-4BE8-ACB4-3DCC9021973D@gmail.com> (message from Yuan Fu on Sun, 19 Jan 2020 12:27:22 -0500) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:244384 Archived-At: > From: Yuan Fu > Date: Sun, 19 Jan 2020 12:27:22 -0500 > Cc: Eli Zaretskii , > "stefan@marxist.se" , > "emacs-devel@gnu.org" > > 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.