title: How to search HTML documentation generated by javadoc?
body: <p>I'm a Java beginner and I see a lot of documentation for Java APIs in similar HTML format, e.g. <a href="http://docs.oracle.com/javase/8/docs/api/index.html" rel="noreferrer">Java™ Platform, Standard Edition 8 API Specification</a>. I don't see a search option in any of these documents, so when I need to find for example <code>random()</code>, I go to <strong>index</strong>, select <strong>R</strong> and use browser to search for <strong>random</strong>. Is there a faster way, e.g. global search?</p>