From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao!not-for-mail From: Patrice Dumas Newsgroups: gmane.comp.tex.texinfo.general,gmane.emacs.devel Subject: Re: html manual +css Date: Wed, 15 Jan 2020 15:18:13 +0100 Message-ID: <20200115141813.GL1435@free.fr> References: <01B655FC-51F0-4A33-ADBF-3E1268E9E0EA@gmail.com> <3D282E00-27F3-451A-9895-5BCEEE0B7FA8@gmail.com> <7D24D068-4BEF-4EC3-8C31-BED768533BEF@gmail.com> <20200115134349.GF1435@free.fr> <25F7C4CF-2B56-439B-BB23-54C718498D0E@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: ciao.gmane.io; posting-host="ciao:159.69.161.202"; logging-data="41126"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Texinfo Help , emacs-devel To: Jean-Christophe Helary Original-X-From: help-texinfo-bounces+gnu-help-texinfo2=m.gmane-mx.org@gnu.org Wed Jan 15 15:44:02 2020 Return-path: Envelope-to: gnu-help-texinfo2@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1irjW5-0004CP-S8 for gnu-help-texinfo2@m.gmane-mx.org; Wed, 15 Jan 2020 15:19:29 +0100 Original-Received: from localhost ([::1]:54766 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1irjW4-0005o9-UR for gnu-help-texinfo2@m.gmane-mx.org; Wed, 15 Jan 2020 09:19:28 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38987) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1irjV1-0004ft-VX for help-texinfo@gnu.org; Wed, 15 Jan 2020 09:18:24 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1irjV0-0000Hb-Vp for help-texinfo@gnu.org; Wed, 15 Jan 2020 09:18:23 -0500 Original-Received: from smtp5-g21.free.fr ([212.27.42.5]:19630) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1irjUy-0000FD-HQ; Wed, 15 Jan 2020 09:18:20 -0500 Original-Received: from localhost (unknown [193.55.115.26]) (Authenticated sender: pertusus) by smtp5-g21.free.fr (Postfix) with ESMTPSA id 988285FFBD; Wed, 15 Jan 2020 15:18:13 +0100 (CET) Mail-Followup-To: Patrice Dumas , Jean-Christophe Helary , Texinfo Help , emacs-devel Content-Disposition: inline In-Reply-To: <25F7C4CF-2B56-439B-BB23-54C718498D0E@gmail.com> X-detected-operating-system: by eggs.gnu.org: Windows NT kernel [generic] [fuzzy] X-Received-From: 212.27.42.5 X-BeenThere: help-texinfo@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Users list for the Texinfo documentation system List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-texinfo-bounces+gnu-help-texinfo2=m.gmane-mx.org@gnu.org Original-Sender: "help-texinfo" Xref: news.gmane.io gmane.comp.tex.texinfo.general:2333 gmane.emacs.devel:244267 Archived-At: On Wed, Jan 15, 2020 at 10:52:06PM +0900, Jean-Christophe Helary wrote: > > > > On Jan 15, 2020, at 22:43, Patrice Dumas wrote: > > > > On Wed, Jan 15, 2020 at 09:12:15PM +0900, Jean-Christophe Helary wrote: > >>> > >>> The Guix developers managed to implement syntax highlighting by > >>> post-processing the HTML. > >>> (https://lists.gnu.org/archive/html/bug-texinfo/2019-11/msg00004.html) > >> > >> Wow, I just checked this page: > >> https://guix.gnu.org/manual/devel/en/html_node/Using-the-Configuration-System.html > >> > >> and the source if full of css "hooks" even for the parens in the code... > >> > >> What they do is interesting, and I guess some kind of postprocessing would be possible to achieve what I suggest, but instead of that, I'm guessing that just having texinfo add the css selectors would be easier. > > > > There are already hooks to customize the HTML produced, but it requires > > knowing perl and digging into the HTML customization API which is not > > documented anywhere. > > Are you talking about HTML.pm ? Yes. -- Pat