On Wed, Jan 15, 2020 at 10:52:06PM +0900, Jean-Christophe Helary wrote: > > > > On Jan 15, 2020, at 22:43, Patrice Dumas <pertu...@free.fr> 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