Add search button to #page-menu

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);