Deploying to gh-pages from @ a313a58 🚀

.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: b0095ae4a39154baa489247819045536
+config: 3889b13af373903f2ee359614770c493
 tags: 645f666f9bcd5a90fca523b33c5a78b7

_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],
           ]);
         }

genindex.html

@@ -41,7 +41,7 @@ <h1 id="index">Index</h1>
 
         </div>
       </div>
-      <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
+      <div class="sphinxsidebar" role="navigation" aria-label="Main">
         <div class="sphinxsidebarwrapper">
 <h1 class="logo"><a href="index.html">mata</a></h1>
 
@@ -93,7 +93,7 @@ <h3 id="searchlabel">Quick search</h3>
       &#169;2022, VeriFIT Group, BUT, FIT.
 
       |
-      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.3.7</a>
+      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.4.3</a>
       &amp; <a href="https://alabaster.readthedocs.io">Alabaster 0.7.16</a>
 
     </div>

index.html

@@ -76,7 +76,7 @@ <h1>Indices and tables<a class="headerlink" href="#indices-and-tables" title="Li
 
         </div>
       </div>
-      <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
+      <div class="sphinxsidebar" role="navigation" aria-label="Main">
         <div class="sphinxsidebarwrapper">
 <h1 class="logo"><a href="#">mata</a></h1>
 
@@ -129,7 +129,7 @@ <h3 id="searchlabel">Quick search</h3>
       &#169;2022, VeriFIT Group, BUT, FIT.
 
       |
-      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.3.7</a>
+      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.4.3</a>
       &amp; <a href="https://alabaster.readthedocs.io">Alabaster 0.7.16</a>
 
       |

introduction.html

@@ -280,7 +280,7 @@ <h2>Acknowledgements<a class="headerlink" href="#acknowledgements" title="Link t
 
         </div>
       </div>
-      <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
+      <div class="sphinxsidebar" role="navigation" aria-label="Main">
         <div class="sphinxsidebarwrapper">
 <h1 class="logo"><a href="index.html">mata</a></h1>
 
@@ -347,7 +347,7 @@ <h3 id="searchlabel">Quick search</h3>
       &#169;2022, VeriFIT Group, BUT, FIT.
 
       |
-      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.3.7</a>
+      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.4.3</a>
       &amp; <a href="https://alabaster.readthedocs.io">Alabaster 0.7.16</a>
 
       |

nfa.html

@@ -102,7 +102,7 @@ <h2>Operations<a class="headerlink" href="#operations" title="Link to this headi
 
         </div>
       </div>
-      <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
+      <div class="sphinxsidebar" role="navigation" aria-label="Main">
         <div class="sphinxsidebarwrapper">
 <h1 class="logo"><a href="index.html">mata</a></h1>
 
@@ -159,7 +159,7 @@ <h3 id="searchlabel">Quick search</h3>
       &#169;2022, VeriFIT Group, BUT, FIT.
 
       |
-      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.3.7</a>
+      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.4.3</a>
       &amp; <a href="https://alabaster.readthedocs.io">Alabaster 0.7.16</a>
 
       |

overview.html

@@ -48,7 +48,7 @@ <h2>Supported Classes of Automata<a class="headerlink" href="#supported-classes-
 
         </div>
       </div>
-      <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
+      <div class="sphinxsidebar" role="navigation" aria-label="Main">
         <div class="sphinxsidebarwrapper">
 <h1 class="logo"><a href="index.html">mata</a></h1>
 
@@ -105,7 +105,7 @@ <h3 id="searchlabel">Quick search</h3>
       &#169;2022, VeriFIT Group, BUT, FIT.
 
       |
-      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.3.7</a>
+      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.4.3</a>
       &amp; <a href="https://alabaster.readthedocs.io">Alabaster 0.7.16</a>
 
       |

search.html

@@ -68,7 +68,7 @@ <h1 id="search-documentation">Search</h1>
 
         </div>
       </div>
-      <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
+      <div class="sphinxsidebar" role="navigation" aria-label="Main">
         <div class="sphinxsidebarwrapper">
 <h1 class="logo"><a href="index.html">mata</a></h1>
 
@@ -110,7 +110,7 @@ <h3>Related Topics</h3>
       &#169;2022, VeriFIT Group, BUT, FIT.
 
       |
-      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.3.7</a>
+      Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.4.3</a>
       &amp; <a href="https://alabaster.readthedocs.io">Alabaster 0.7.16</a>
 
     </div>