Re: footer navigation headers

[Patrice Dumas]

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