Skip to content

Commit 874c3e3

Browse files
committed
deploy: 7b4f977
1 parent 312066b commit 874c3e3

9 files changed

Lines changed: 15 additions & 20 deletions

File tree

_static/basic.css

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -741,14 +741,6 @@ abbr, acronym {
741741
cursor: help;
742742
}
743743

744-
.translated {
745-
background-color: rgba(207, 255, 207, 0.2)
746-
}
747-
748-
.untranslated {
749-
background-color: rgba(255, 207, 207, 0.2)
750-
}
751-
752744
/* -- code displays --------------------------------------------------------- */
753745

754746
pre {

_static/searchtools.js

Lines changed: 8 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -513,9 +513,11 @@ const Search = {
513513
// perform the search on the required terms
514514
searchTerms.forEach((word) => {
515515
const files = [];
516+
// find documents, if any, containing the query word in their text/title term indices
517+
// use Object.hasOwnProperty to avoid mismatching against prototype properties
516518
const arr = [
517-
{ files: terms[word], score: Scorer.term },
518-
{ files: titleTerms[word], score: Scorer.title },
519+
{ files: terms.hasOwnProperty(word) ? terms[word] : undefined, score: Scorer.term },
520+
{ files: titleTerms.hasOwnProperty(word) ? titleTerms[word] : undefined, score: Scorer.title },
519521
];
520522
// add support for partial matches
521523
if (word.length > 2) {
@@ -547,8 +549,9 @@ const Search = {
547549

548550
// set score for the word in each file
549551
recordFiles.forEach((file) => {
550-
if (!scoreMap.has(file)) scoreMap.set(file, {});
551-
scoreMap.get(file)[word] = record.score;
552+
if (!scoreMap.has(file)) scoreMap.set(file, new Map());
553+
const fileScores = scoreMap.get(file);
554+
fileScores.set(word, record.score);
552555
});
553556
});
554557

@@ -587,7 +590,7 @@ const Search = {
587590
break;
588591

589592
// select one (max) score for the file.
590-
const score = Math.max(...wordList.map((w) => scoreMap.get(file)[w]));
593+
const score = Math.max(...wordList.map((w) => scoreMap.get(file).get(w)));
591594
// add result to the result list
592595
results.push([
593596
docNames[file],

contributing.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -565,7 +565,7 @@ <h2>Documentation Local Testing<a class="headerlink" href="#documentation-local-
565565
<div class="footer-items__start">
566566

567567
<div class="footer-item"><p class="sphinx-version">
568-
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.1.3.
568+
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.2.3.
569569
<br/>
570570
</p>
571571
<p class="theme-version">

genindex.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -440,7 +440,7 @@ <h1 id="index">Index</h1>
440440
<div class="footer-items__start">
441441

442442
<div class="footer-item"><p class="sphinx-version">
443-
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.1.3.
443+
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.2.3.
444444
<br/>
445445
</p>
446446
<p class="theme-version">

index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -479,7 +479,7 @@ <h2>Getting Started<a class="headerlink" href="#getting-started" title="Link to
479479
<div class="footer-items__start">
480480

481481
<div class="footer-item"><p class="sphinx-version">
482-
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.1.3.
482+
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.2.3.
483483
<br/>
484484
</p>
485485
<p class="theme-version">

infrastructure.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -670,7 +670,7 @@ <h2>Docstrings and API documentation<a class="headerlink" href="#docstrings-and-
670670
<div class="footer-items__start">
671671

672672
<div class="footer-item"><p class="sphinx-version">
673-
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.1.3.
673+
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.2.3.
674674
<br/>
675675
</p>
676676
<p class="theme-version">

project_setup.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -709,7 +709,7 @@ <h2>Add dependencies<a class="headerlink" href="#add-dependencies" title="Link t
709709
<div class="footer-items__start">
710710

711711
<div class="footer-item"><p class="sphinx-version">
712-
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.1.3.
712+
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.2.3.
713713
<br/>
714714
</p>
715715
<p class="theme-version">

search.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -463,7 +463,7 @@ <h1>Search</h1>
463463
<div class="footer-items__start">
464464

465465
<div class="footer-item"><p class="sphinx-version">
466-
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.1.3.
466+
Created using <a href="https://www.sphinx-doc.org/" target="_blank" >Sphinx</a> 8.2.3.
467467
<br/>
468468
</p>
469469
<p class="theme-version">

searchindex.js

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)