Build

IfcOpenShell · Jul 22, 2024 · e655be8 · e655be8
1 parent fb8423d
commit e655be8
Show file tree

Hide file tree

Showing 102 changed files with 1,360 additions and 3,210 deletions.
diff --git a/CNAME b/CNAME
diff --git a/_sources/index.rst.txt b/_sources/index.rst.txt
@@ -62,6 +62,11 @@ Sections
          :doc:`/users/modeling/ifc_modeling`
             IFC modeling techniques and concepts.
 
+      .. container:: card
+
+         :doc:`/users/git_support`
+            Collaborate on projects using Git
+
       .. container:: card
 
          :doc:`/users/drawing/index`
@@ -94,8 +99,13 @@ Sections
 
       .. container:: card
 
-         :doc:`/users/appendix/index`
-            Troubleshooting and additional resources.
+         :doc:`/users/other_addons`
+            Other complementary add-ons
+
+      .. container:: card
+
+         :doc:`/users/troubleshooting`
+            Troubleshooting when things go wrong
 
 .. container:: global-index-toc
 
@@ -106,13 +116,15 @@ Sections
 
       users/modeling/interface
       users/modeling/ifc_modeling
+      users/git_support
       users/drawing/index
       users/structural_analysis/index
       users/costing_and_scheduling/index
       users/advanced/index
       users/tutorials/index
       users/user_interface
-      users/appendix/index
+      users/other_addons
+      users/troubleshooting
 
 Get Involved
 ============

diff --git a/_sources/users/appendix/index.rst.txt b/_sources/users/appendix/index.rst.txt
diff --git a/_sources/users/appendix/git_support.rst.txt → _sources/users/git_support.rst.txt b/_sources/users/appendix/git_support.rst.txt → _sources/users/git_support.rst.txt
diff --git a/_sources/users/appendix/other_addons.rst.txt → _sources/users/other_addons.rst.txt b/_sources/users/appendix/other_addons.rst.txt → _sources/users/other_addons.rst.txt
diff --git a/...es/users/appendix/troubleshooting.rst.txt → _sources/users/troubleshooting.rst.txt b/...es/users/appendix/troubleshooting.rst.txt → _sources/users/troubleshooting.rst.txt
diff --git a/_static/documentation_options.js b/_static/documentation_options.js
@@ -1,5 +1,5 @@
 const DOCUMENTATION_OPTIONS = {
-    VERSION: '0.7.10',
+    VERSION: '0.7.11',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

diff --git a/_static/scripts/furo.js b/_static/scripts/furo.js
diff --git a/_static/scripts/furo.js.map b/_static/scripts/furo.js.map
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],
           ]);
         }