RFR: JDK-8263198: javadoc HELP page [v2]

[Jonathan Gibbons]

> Please review an update to the structure and some of the content of the generated Help page, focussed on the following:
> 
> * A new section at the top of the Help page headed "Navigation", providing an overview of how to navigate around the docs. 
> * The HELP button in the top navbar for each kind of generated page now links to the corresponding section in the help page. This implies the need for some additional sections, which are now provided.
> 
> Given other ongoing work, it is likely that there will be additional improvements to the content still to come.
> 
> We have talked about reordering the buttons in the navbar. At the same time, we might want to consider the order of sections in the page (as a separate issue.)

Jonathan Gibbons has updated the pull request incrementally with one additional commit since the last revision:

  Fix bad reference in property

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3144/files
  - new: https://git.openjdk.java.net/jdk/pull/3144/files/f4b36906..6ba42336

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=3144&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=3144&range=00-01

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3144.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3144/head:pull/3144

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