Redirect search to stable docs on most pages

Author: speth

source/_templates/search-stable.html

@@ -0,0 +1,10 @@
+{# Override path to search page so we search the stable docs, except for News pages #}
+<script>
+  if (window.location.pathname.startsWith("/news")) {
+    inp = document.getElementById('search-input');
+    inp.placeholder = "Search news ...";
+    inp.ariaLabel = "Search news ...";
+  } else {
+    document.getElementsByClassName('bd-search')[0].action = "/stable/search.html";
+  }
+</script>

source/conf.py

@@ -106,6 +106,9 @@
     "navbar_align": "left",
     "navbar_center": ["initial-sections", "navbar-nav"],
     "navbar_end": ["theme-switcher", "navbar-icon-links"],
+    # Search bar is overridden to the stable docs except for the "News" section
+    "navbar_persistent": ["search-button-field", "search-stable"],
+
     "show_prev_next": False,
     "logo": {
         "link": "/index.html",