hg: jdk9/sandbox/langtools: 8151743: Header can still disappear behind the navbar

[chris.hegarty at oracle.com]

Changeset: 0ff92d6ce442
Author:    bpatel
Date:      2017-02-15 11:55 -0800
URL:       http://hg.openjdk.java.net/jdk9/sandbox/langtools/rev/0ff92d6ce442

8151743: Header can still disappear behind the navbar
Reviewed-by: jjg, ksrini

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDocletWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
! test/jdk/javadoc/doclet/testHtmlVersion/TestHtmlVersion.java
! test/jdk/javadoc/doclet/testJavascript/TestJavascript.java
! test/jdk/javadoc/doclet/testNavigation/TestNavigation.java
! test/jdk/javadoc/doclet/testStylesheet/TestStylesheet.java