diff --git a/contrib/static/search.js b/contrib/static/search.js index eeb1881..7240822 100644 --- a/contrib/static/search.js +++ b/contrib/static/search.js @@ -5,7 +5,7 @@ /** inject search widget */ function inject_search(elem) { var inner = document.createElement("div"); - inner.setAttribute("class", "navbar"); + inner.setAttribute("class", "search-navbar"); var button = document.createElement("button"); var input = document.createElement("input"); var newsgroup = document.createElement("input"); diff --git a/contrib/static/site.css b/contrib/static/site.css index 2189dfe..b59dfa1 100644 --- a/contrib/static/site.css +++ b/contrib/static/site.css @@ -267,7 +267,7 @@ a, a:visited, .navbar-link > label { text-decoration: underline; } -.navbar { +.navbar, .search-navbar { position: fixed; top: 0px; left: 0px; @@ -282,6 +282,10 @@ a, a:visited, .navbar-link > label { padding-top: 2px; } +.search-navbar { + margin-left: 10px; +} + .searchresult { margin-top: 20px; }