RFR: JDK-8277420: Provide a way to copy the hyperlink to a doc element to the clipboard [v2]

[Hannes Wallnöfer]

> This is a CSS/JavaScript only change to implement copy-to-clipboard functionality for all headers (`h1` - `h6`) that have an `id` attribute associated with them. The following element-attribute patterns are supported (using `<h2>` as an example):
> 
>  - `<section id="..."><h2>` (generated by javadoc)
>  - `<h2 id="...">` (commonly used)
>  - `<h2><a id="...">` (legacy)
> 
> The change includes a consolidation of the CSS styles used to render copy-to-clipboard buttons, of which we have now three kinds: for snippets, for the link on the search page, and for headers. There is now a base CSS class called "copy" that defines the styles shared by all copy-to-clipboard buttons, and additional CSS properties for the concrete "subclasses". 
> 
> API docs generated with this change can be viewed here (top level files and java.base module):
> http://cr.openjdk.java.net/~hannesw/8277420/api.02/

Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:

  Fix jquery selector for anchor within header

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/8817/files
  - new: https://git.openjdk.java.net/jdk/pull/8817/files/39aabc1b..b84eb5d2

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

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

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