Fix facetted search (#2066)

* Fix syntax error in searchtools.js by adding missing semicolon

* Rename search styling file and update CSS references in documentation

Author: ksuess

docs/_static/documentation.css docs/_static/search.cssdocs/_static/documentation.css renamed to docs/_static/search.css

@@ -275,7 +275,7 @@ const Search = {
     const query = new URLSearchParams(window.location.search).get("q");
     const section = new URLSearchParams(window.location.search).get("section");
     const select = document
-      .querySelector('select[name="section"]')
+      .querySelector('select[name="section"]');
     document
       .querySelectorAll('input[name="q"]')
       .forEach((el) => (el.value = query));

docs/_static/searchtools.js

@@ -277,7 +277,7 @@
 # "<project> v<release> documentation".
 html_title = "%(project)s v%(release)s" % {"project": project, "release": release}
 
-html_css_files = ["documentation.css", ("print.css", {"media": "print"})]
+html_css_files = ["search.css", ("print.css", {"media": "print"})]
 html_js_files = []
 html_extra_path = [
     "robots.txt",