RFR: JDK-8305958: Use links instead of buttons for auto-generated header links

[Hannes Wallnöfer]

On Fri, 5 May 2023 17:56:52 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> 
>     * I'm mildly surprised the links show up on some of the "standard" "internal" headings, like "Constructor Details". I guess there may be cases where this is wanted, and maybe if you didn't do it, we would get a RFE to do it.
> 

This was already the case with the previous copy-to-clipboard button. All HTML headings with an `id` attribute as well as sections with an `id` attribute and a heading as first child element are given a link. This not only includes standard page sections, but also individual member details. I think this is quite useful when looking at a member detail without having gone through the link in the member summary section.

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

PR Comment: https://git.openjdk.org/jdk/pull/13831#issuecomment-1538304745