Integrated: JDK-8248863: Add search landing page to API documentation

[Hannes Wallnöfer]

On Wed, 13 Apr 2022 16:01:17 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> This is the second of two PRs to enhance JavaDoc search, it is based on the first one (#8185).
> 
> It adds a standalone search page (search.html) along with its own script file (search-page.js). This PR is very similar to the last prototype I uploaded and demoed, the changes are mostly tweaks to the markup, style sheets and text. 
> 
> JDK API docs rendered with this patch can be viewed and tested here (top-level files only, updated on April 20th):
> http://cr.openjdk.java.net/~hannesw/8248863/api.02/
> http://cr.openjdk.java.net/~hannesw/8248863/api.02/search.html

This pull request has now been integrated.

Changeset: 3cdedf1d
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/3cdedf1ddb1b5058fd3d02891b4099964e4b4df2
Stats:     742 lines in 20 files changed: 678 ins; 7 del; 57 mod

8248863: Add search landing page to API documentation

Reviewed-by: jjg

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

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