> Finally, some mechanism should be introduced to allow control over
> content in the HTML header. In particular, some means is needed to
> introduce style sheets.
>
> I don't know about style sheets, but some form of html output control
> may be desirable. On the other hand, ultimate flexibility in output is
> not what Texinfo is about -- you can't do much at all to control the way
> the TeX output appears either. It's more for common input than perfect
> output.
I posted patches which controlled the output of the <body> tag which
then allowed for arbitrary content in the headers. @html, after
applying the patch, works well for CSS. Did that patch make it into
the texinfo sources?
--Will
