Re: footer navigation headers

[Per Bothner]

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
per@bothner.com   http://per.bothner.com/