diff --git a/doc/develop/html/.doctrees/cli.doctree b/doc/develop/html/.doctrees/cli.doctree
index a44f90dbc..65e20f78f 100644
Binary files a/doc/develop/html/.doctrees/cli.doctree and b/doc/develop/html/.doctrees/cli.doctree differ
diff --git a/doc/develop/html/.doctrees/glossary.doctree b/doc/develop/html/.doctrees/glossary.doctree
index b27cd5690..ad5011ff4 100644
Binary files a/doc/develop/html/.doctrees/glossary.doctree and b/doc/develop/html/.doctrees/glossary.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/action.doctree b/doc/develop/html/.doctrees/reference/action.doctree
index 6fba6e056..cc8f88a6e 100644
Binary files a/doc/develop/html/.doctrees/reference/action.doctree and b/doc/develop/html/.doctrees/reference/action.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/actions.doctree b/doc/develop/html/.doctrees/reference/actions.doctree
index 473312892..13a86bcdb 100644
Binary files a/doc/develop/html/.doctrees/reference/actions.doctree and b/doc/develop/html/.doctrees/reference/actions.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/artefact.doctree b/doc/develop/html/.doctrees/reference/artefact.doctree
index 51cd30dfa..9d3fd8ba9 100644
Binary files a/doc/develop/html/.doctrees/reference/artefact.doctree and b/doc/develop/html/.doctrees/reference/artefact.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/config.doctree b/doc/develop/html/.doctrees/reference/config.doctree
index 34843acc6..454cb14b8 100644
Binary files a/doc/develop/html/.doctrees/reference/config.doctree and b/doc/develop/html/.doctrees/reference/config.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/feature.doctree b/doc/develop/html/.doctrees/reference/feature.doctree
index 8052e04c7..67e9a3a38 100644
Binary files a/doc/develop/html/.doctrees/reference/feature.doctree and b/doc/develop/html/.doctrees/reference/feature.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/features.doctree b/doc/develop/html/.doctrees/reference/features.doctree
index 46c2081b6..974045846 100644
Binary files a/doc/develop/html/.doctrees/reference/features.doctree and b/doc/develop/html/.doctrees/reference/features.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/rule.doctree b/doc/develop/html/.doctrees/reference/rule.doctree
index b76c33e72..4d556b6b1 100644
Binary files a/doc/develop/html/.doctrees/reference/rule.doctree and b/doc/develop/html/.doctrees/reference/rule.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/test.doctree b/doc/develop/html/.doctrees/reference/test.doctree
index 1563e5ebe..d30695645 100644
Binary files a/doc/develop/html/.doctrees/reference/test.doctree and b/doc/develop/html/.doctrees/reference/test.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/tool.doctree b/doc/develop/html/.doctrees/reference/tool.doctree
index ead880de0..60795dde4 100644
Binary files a/doc/develop/html/.doctrees/reference/tool.doctree and b/doc/develop/html/.doctrees/reference/tool.doctree differ
diff --git a/doc/develop/html/.doctrees/reference/tools.doctree b/doc/develop/html/.doctrees/reference/tools.doctree
index 04798018a..5e32217f2 100644
Binary files a/doc/develop/html/.doctrees/reference/tools.doctree and b/doc/develop/html/.doctrees/reference/tools.doctree differ
diff --git a/doc/develop/html/_static/searchtools.js b/doc/develop/html/_static/searchtools.js
index 92da3f8b2..b08d58c9b 100644
--- 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],
]);
}