Re: html manual +css

[Patrice Dumas <pertusus@free.fr>]

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.

My wild guess is that it could be possible to generate the same output
using this facility, maybe using something similar with how @math and 
@tex blocks are processed by outside commands in tp/init/latex2html.pm
or tp/init/tex4ht.pm.  I do not know if it is the best way, though,
maybe it makes sense to use guile to highlight code in the guile manual.

> Also, what's interesting with the current HTML export is that even though it is quite "old" in terms of standard (supposed to accept HTML 3.2 if I remember correctly ?) adding appropriate classes and IDs is just enough to access even bleeding edge CSS. Hence the idea of adding the appropriate "hooks" directly from texinfo.

Currently the default is 4.01 Transitional.  But there is a
customization file to produce HTML 3.2 in tp/init/html32.pm.

-- 
Pat