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?

Reply via email to