src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js
--- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js Wed Nov 27 12:18:40 2019 +0100
+++ b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js Wed Nov 27 13:08:16 2019 +0100
@@ -102,9 +102,6 @@
if (!tagSearchIndex) {
createElem(doc, tag, 'tag-search-index.js');
}
- $(window).resize(function() {
- $('.navPadding').css('padding-top', $('.fixedNav').css("height"));
- });
}
function createElem(doc, tag, path) {