On 3/4/21 9:31 AM, Patrice Dumas wrote:
On Sun, Feb 14, 2021 at 12:32:58PM -0800, Per Bothner wrote:
We can do this with CSS:
div.subsection div.header { display: none }
However, this has the downside that it also hides the end-of-page
navigation header, which I think is useful.
The problem is that the end-of-page header is emitted inside the
final @subsection. I think it should be emitted outside the
final @subsection.
I am not sure that it is sufficient for your purpose, but it seems to me
that it is not the case (it may have been at that time). I have not
checked extensively but I see the footer in a <div> or a <table> outside
of the section </div>.
Looks like I goofed. This setting give me teh behavior I want:
div.subsection div.header { display: none }
See: https://per.bothner.com/tmp/DomTerm-txjs/Wire-byte-protocol.html
--
--Per Bothner
[email protected] http://per.bothner.com/
