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

Reply via email to