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>.
I am also not sure that the intermediary headers are inside subsections
or not either.
Another possibility would be to have different classes for the different
types of header/footer.
--
Pat
