git: openjdk/jdk: 8305958: Use links instead of buttons for auto-generated header links

[Hannes Wallnöfer]

Changeset: 3f4abff5
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2023-05-25 07:30:03 +0000
URL:       https://git.openjdk.org/jdk/commit/3f4abff59cfe3c5055f086cba969371a9812170f

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

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDoclet.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js.template
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
+ src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/link.svg
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DocPaths.java
! test/langtools/jdk/javadoc/doclet/checkStylesheetClasses/CheckStylesheetClasses.java
! test/langtools/jdk/javadoc/tool/api/basic/APITest.java