Integrated: JDK-8248320: Provide a unique accessible name for <nav role="navigation">

[Jonathan Gibbons]

On Fri, 16 Oct 2020 20:20:49 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> This change is primarily about removing the lower (bottom) instance of the navigation bar, but as a side effect, it is also a cleanup for the way that the `<header>` and `<footer>` elements are generated for each page.
> 
> The header and footer elements are now generated by two new methods on `HtmlDocletWriter`: `getHeader` and `getFooter`. 
> 
> The footer is the same for all pages, and now just consists of the "bottom" text (if any) provided with the `-bottom` option. (In JDK API docs, this is all the legal text at the bottom of each page.)  The footer is omitted if there is no bottom text. 
> 
> The header is structurally the same for each page, consisting of the "top" text (if any) provided with the `-top` option, and the main navigation bar. The contents of the navigation bar does depend on the kind of page, and so it is generated by a new method `getNavBar`, which is overridden as needed for some pages, to properly customize the properties.
> 
> Since there is no longer a lower navbar, the `-footer` option, which could be used to inject user-provided text into the bar bar, is now redundant. For now, it is accepted but generates a warning if used.

This pull request has now been integrated.

Changeset: d47336bf
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/d47336bf
Stats:     654 lines in 31 files changed: 111 ins; 384 del; 159 mod

8248320: Provide a unique accessible name for <nav role="navigation">

Reviewed-by: hannesw

-------------

PR: https://git.openjdk.java.net/jdk/pull/710