deploy: 777f128

viskex · Jul 22, 2024 · 71d33a2 · 71d33a2
1 parent c0acec6
commit 71d33a2
Show file tree

Hide file tree

Showing 40 changed files with 791 additions and 760 deletions.
diff --git a/.buildinfo b/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 3df04fa01699a83c13914221e3326017
+config: c3d1de552845e458888b685c4bb6f38e
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/_static/searchtools.js b/_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],
           ]);
         }

diff --git a/citing.html b/citing.html
@@ -332,7 +332,7 @@ <h1 id="citing--page-root">How to cite<a class="headerlink" href="#citing--page-
 
           </div>
             Created using
-            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.3.7.
+            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.4.7.
              and
             <a href="https://github.com/bashtage/sphinx-material/">Material for
               Sphinx</a>

diff --git a/contributing.html b/contributing.html
@@ -354,7 +354,7 @@ <h1 id="contributing--page-root">How to contribute<a class="headerlink" href="#c
 
           </div>
             Created using
-            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.3.7.
+            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.4.7.
              and
             <a href="https://github.com/bashtage/sphinx-material/">Material for
               Sphinx</a>

diff --git a/genindex.html b/genindex.html
@@ -305,7 +305,7 @@ <h1 id="index">Index</h1>
 
           </div>
             Created using
-            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.3.7.
+            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.4.7.
              and
             <a href="https://github.com/bashtage/sphinx-material/">Material for
               Sphinx</a>

diff --git a/index.html b/index.html
@@ -399,7 +399,7 @@ <h2 id="license">License<a class="headerlink" href="#license" title="Link to thi
 
           </div>
             Created using
-            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.3.7.
+            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.4.7.
              and
             <a href="https://github.com/bashtage/sphinx-material/">Material for
               Sphinx</a>

diff --git a/installing.html b/installing.html
@@ -398,7 +398,7 @@ <h2 id="compatibility-with-upstream-releases">Compatibility with upstream releas
 
           </div>
             Created using
-            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.3.7.
+            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.4.7.
              and
             <a href="https://github.com/bashtage/sphinx-material/">Material for
               Sphinx</a>

diff --git a/search.html b/search.html
@@ -317,7 +317,7 @@ <h1 id="search-documentation">Search</h1>
 
           </div>
             Created using
-            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.3.7.
+            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.4.7.
              and
             <a href="https://github.com/bashtage/sphinx-material/">Material for
               Sphinx</a>

diff --git a/searchindex.js b/searchindex.js
diff --git a/tutorials.html b/tutorials.html
@@ -412,7 +412,7 @@ <h3 class="tutorial-title">
 
           </div>
             Created using
-            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.3.7.
+            <a href="http://www.sphinx-doc.org/">Sphinx</a> 7.4.7.
              and
             <a href="https://github.com/bashtage/sphinx-material/">Material for
               Sphinx</a>

diff --git a/tutorials/01_introduction/tutorial_plot_boundaries_1d_dolfinx.html b/tutorials/01_introduction/tutorial_plot_boundaries_1d_dolfinx.html
diff --git a/tutorials/01_introduction/tutorial_plot_boundaries_1d_firedrake.html b/tutorials/01_introduction/tutorial_plot_boundaries_1d_firedrake.html
diff --git a/tutorials/01_introduction/tutorial_plot_boundaries_2d_dolfinx.html b/tutorials/01_introduction/tutorial_plot_boundaries_2d_dolfinx.html