build based on 5c9beaa

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-06-17T08:31:00","documenter_version":"1.3.0"}}
+{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-07-11T11:43:43","documenter_version":"1.5.0"}}

dev/assets/documenter.js

@@ -484,6 +484,14 @@ function worker_function(documenterSearchIndex, documenterBaseURL, filters) {
       : string || "";
   }
 
+  /**
+   * RegX escape function from MDN
+   * Refer: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Regular_Expressions#escaping
+   */
+  function escapeRegExp(string) {
+    return string.replace(/[.*+?^${}()|[\]\\]/g, "\\$&"); // $& means the whole matched string
+  }
+
   /**
    * Make the result component given a minisearch result data object and the value
    * of the search input as queryString. To view the result object structure, refer:
@@ -502,8 +510,8 @@ function worker_function(documenterSearchIndex, documenterBaseURL, filters) {
     if (result.page !== "") {
       display_link += ` (${result.page})`;
     }
-
+    searchstring = escapeRegExp(querystring);
-    let textindex = new RegExp(`${querystring}`, "i").exec(result.text);
+    let textindex = new RegExp(`${searchstring}`, "i").exec(result.text);
     let text =
       textindex !== null
         ? result.text.slice(
@@ -520,7 +528,7 @@ function worker_function(documenterSearchIndex, documenterBaseURL, filters) {
     let display_result = text.length
       ? "..." +
         text.replace(
-          new RegExp(`${escape(querystring)}`, "i"), // For first occurrence
+          new RegExp(`${escape(searchstring)}`, "i"), // For first occurrence
           '<span class="search-result-highlight py-1">$&</span>'
         ) +
         "..."
@@ -566,6 +574,7 @@ function worker_function(documenterSearchIndex, documenterBaseURL, filters) {
         // Only return relevant results
         return result.score >= 1;
       },
+      combineWith: "AND",
     });
 
     // Pre-filter to deduplicate and limit to 200 per category to the extent