diff options
| -rw-r--r-- | haddock-api/resources/html/index.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/haddock-api/resources/html/index.js b/haddock-api/resources/html/index.js index 9123f8ae..da1b8cf6 100644 --- a/haddock-api/resources/html/index.js +++ b/haddock-api/resources/html/index.js @@ -53,7 +53,7 @@ var PageMenuButton = createClass({ }); function addSearchPageMenuButton(action) { - var pageMenu = document.querySelector('#package-header ul.links'); + var pageMenu = document.querySelector('#page-menu'); var dummy = document.createElement('li'); pageMenu.insertBefore(dummy, pageMenu.firstChild); preact.render(h(PageMenuButton, { onClick: action, title: "Search" }), pageMenu, dummy); @@ -378,4 +378,4 @@ var NoResultsMsg = function(props) { return messages[(props.searchString || 'a').charCodeAt(0) % messages.length]; }; -preact.render(h(App), document.body);
\ No newline at end of file +preact.render(h(App), document.body); |