src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js
equal
deleted
inserted
replaced
100 createElem(doc, tag, 'member-search-index.js'); |
100 createElem(doc, tag, 'member-search-index.js'); |
101 } |
101 } |
102 if (!tagSearchIndex) { |
102 if (!tagSearchIndex) { |
103 createElem(doc, tag, 'tag-search-index.js'); |
103 createElem(doc, tag, 'tag-search-index.js'); |
104 } |
104 } |
105 $(window).resize(function() { |
|
106 $('.navPadding').css('padding-top', $('.fixedNav').css("height")); |
|
107 }); |
|
108 } |
105 } |
109 |
106 |
110 function createElem(doc, tag, path) { |
107 function createElem(doc, tag, path) { |
111 var script = doc.createElement(tag); |
108 var script = doc.createElement(tag); |
112 var scriptElement = doc.getElementsByTagName(tag)[0]; |
109 var scriptElement = doc.getElementsByTagName(tag)[0]; |