RFR: JDK-8245062 HtmlStyle: group and document members for nav, header, summary, details

[Jonathan Gibbons]

Please review a mostly doc-only update to document a bunch more of the 
members of HtmlStyle.
The only code-change aspect is the members that are documented are 
rearranged into groups.
No members are added or removed, or changed in how they are used.

As before, some irregularities in the naming become apparent as part of 
this process.
These irregularities will be handled later.

Note to self: there's a typo in the first change "fromthe". I'll fix that.

-- Jon

JBS: https://bugs.openjdk.java.net/browse/JDK-8245062
Webrev: http://cr.openjdk.java.net/~jjg/8245062/webrev.00/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/javadoc-dev/attachments/20200515/6a1b5f55/attachment.htm>