hg: jdk/submit: 8245062: HtmlStyle: group and document members for nav, header, summary, details

[jonathan.gibbons at oracle.com]

Changeset: 588330449887
Author:    jjg
Date:      2020-05-27 16:44 -0700
URL:       https://hg.openjdk.java.net/jdk/submit/rev/588330449887

8245062: HtmlStyle: group and document members for nav, header, summary, details
Reviewed-by: hannesw

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlStyle.java