deploy: 11d443b

stefanseefeld · Sep 18, 2024 · 7eea786 · 7eea786
1 parent fe9747d
commit 7eea786
Show file tree

Hide file tree

Showing 13 changed files with 4 additions and 3 deletions.
diff --git a/doc/develop/html/.doctrees/cli.doctree b/doc/develop/html/.doctrees/cli.doctree
diff --git a/doc/develop/html/.doctrees/glossary.doctree b/doc/develop/html/.doctrees/glossary.doctree
diff --git a/doc/develop/html/.doctrees/reference/action.doctree b/doc/develop/html/.doctrees/reference/action.doctree
diff --git a/doc/develop/html/.doctrees/reference/actions.doctree b/doc/develop/html/.doctrees/reference/actions.doctree
diff --git a/doc/develop/html/.doctrees/reference/artefact.doctree b/doc/develop/html/.doctrees/reference/artefact.doctree
diff --git a/doc/develop/html/.doctrees/reference/config.doctree b/doc/develop/html/.doctrees/reference/config.doctree
diff --git a/doc/develop/html/.doctrees/reference/feature.doctree b/doc/develop/html/.doctrees/reference/feature.doctree
diff --git a/doc/develop/html/.doctrees/reference/features.doctree b/doc/develop/html/.doctrees/reference/features.doctree
diff --git a/doc/develop/html/.doctrees/reference/rule.doctree b/doc/develop/html/.doctrees/reference/rule.doctree
diff --git a/doc/develop/html/.doctrees/reference/test.doctree b/doc/develop/html/.doctrees/reference/test.doctree
diff --git a/doc/develop/html/.doctrees/reference/tool.doctree b/doc/develop/html/.doctrees/reference/tool.doctree
diff --git a/doc/develop/html/.doctrees/reference/tools.doctree b/doc/develop/html/.doctrees/reference/tools.doctree
diff --git a/doc/develop/html/_static/searchtools.js b/doc/develop/html/_static/searchtools.js
@@ -178,7 +178,7 @@ const Search = {
 
   htmlToText: (htmlString, anchor) => {
     const htmlElement = new DOMParser().parseFromString(htmlString, 'text/html');
-    for (const removalQuery of [".headerlinks", "script", "style"]) {
+    for (const removalQuery of [".headerlink", "script", "style"]) {
       htmlElement.querySelectorAll(removalQuery).forEach((el) => { el.remove() });
     }
     if (anchor) {
@@ -328,13 +328,14 @@ const Search = {
     for (const [title, foundTitles] of Object.entries(allTitles)) {
       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)
+          const score = Math.round(Scorer.title * queryLower.length / title.length);
+          const boost = titles[file] === title ? 1 : 0;  // add a boost for document titles
           normalResults.push([
             docNames[file],
             titles[file] !== title ? `${titles[file]} > ${title}` : title,
             id !== null ? "#" + id : "",
             null,
-            score,
+            score + boost,
             filenames[file],
           ]);
         }