Feedback on javadoc UI changes

The javadoc team is considering changes to the UI of javadoc generated pages, specifically the behaviour of the top navigation bar and navigating to anchors within a page. Since this would affect all JDK users we thought it was a good idea to present/discuss the alternatives here on jdk-dev. The feedback we are looking for: - What do you prefer for scrolling up and down a page? Do you find the moving parts useful or distracting? - Which version is best for navigating to an anchor within a page (e.g. member search or internal links)? - Do you experience any technical problems with your particular browser? Here are the three versions: Version 1 is the conservative fix, it retains the fixed navigation bar, changes are mostly under the hood: http://cr.openjdk.java.net/~hannesw/8223378/api.00/ Version 2: When scrolling down, the navigation bar slides upwards and disappears. When scrolling back up or starting to type for a search, it slides back in again. http://cr.openjdk.java.net/~hannesw/8230852/api.04/ Version 3: Like version 2, but the part of the navigation bar that contains the search box and page-local links always remains visible. There’s an arrow symbol on the left to make the full navigation bar reappear. http://cr.openjdk.java.net/~hannesw/8230852/api.03/ Hannes