diff options
| -rw-r--r-- | src/librustdoc/html/static/main.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index a0e07d58c9d..d321307b2e0 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -1218,7 +1218,7 @@ function getSearchElement() { } dst = dst[0]; if (window.location.pathname === dst.pathname) { - addClass(document.getElementById("search"), "hidden"); + addClass(getSearchElement(), "hidden"); removeClass(main, "hidden"); document.location.href = dst.href; } @@ -2454,7 +2454,7 @@ function getSearchElement() { function putBackSearch(search_input) { if (search_input.value !== "") { addClass(main, "hidden"); - removeClass(document.getElementById("search"), "hidden"); + removeClass(getSearchElement(), "hidden"); if (browserSupportsHistoryApi()) { history.replaceState(search_input.value, "", |