Re: [docbook-apps] Make better use of IDs in the HTML stylesheets?

Hi Jirka

> But to accommodate your needs you can easily put ID into class attribute.
> Just add the following into your customization layer:

Excellent! Thank you very much. Perhaps this can be considered for
inclusion in the standard stylesheets ..

-- 
jean . .. .... //\\\oo///\\