[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: html manual +css
|
From: |
Patrice Dumas |
|
Subject: |
Re: html manual +css |
|
Date: |
Wed, 15 Jan 2020 15:18:13 +0100 |
On Wed, Jan 15, 2020 at 10:52:06PM +0900, Jean-Christophe Helary wrote:
>
>
> > On Jan 15, 2020, at 22:43, Patrice Dumas <address@hidden> 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