Fix exact matching on title when there are leading/trailing spaces

When there is a search term with whitespace (e.g. ` Superman`), the
override to boost entries that match on the title (e.g. `Superman`)
didn't work.

Author: wlach

sphinx/themes/basic/static/searchtools.js

@@ -288,9 +288,9 @@ const Search = {
     let results = [];
     _removeChildren(document.getElementById("search-progress"));
 
-    const queryLower = query.toLowerCase();
+    const queryLower = query.toLowerCase().trim();
     for (const [title, foundTitles] of Object.entries(allTitles)) {
-      if (title.toLowerCase().includes(queryLower) && (queryLower.length >= title.length/2)) {
+      if (title.toLowerCase().trim().includes(queryLower) && (queryLower.length >= title.length/2)) {
         for (const [file, id] of foundTitles) {
           let score = Math.round(100 * queryLower.length / title.length)
           results.push([