Re: css classes for special headings

[Karl Berry]

    One less level than the current sectioning level could make sense for
    footnotes when footnotestyle is end, but not when it is separate, 

Right.  Sorry for not being clear.

    Since MAX_HEADER_LEVEL = 4, the footnote would be h3 for @top and @chapter
    level, and h4 for anything else.

Ah.  So it would also be reasonable to just always use h4 (controlled
by, say, FOOTNOTE_HEADER_LEVEL).  The difference is minimal, and perhaps
it is simpler to implement and understand.

k