How to get api doc search box on a separate web page?

[Jonathan Gibbons]

On 3/2/18 6:41 PM, Martin Buchholz wrote:
> The new SEARCH: box recently added to api docs e.g.
> https://download.java.net/java/early_access/jdk11/docs/api/overview-summary.html
> is *awesome* (thanks!) and I would like to embed those SEARCH: boxes 
> in my own home page, and I'm guessing I'm not the only one.  Do you 
> have a snippet of html to offer for me to copy-paste?

Martin,

I'll investigate and get back to you.

-- Jon