1 files changed, 114 insertions, 0 deletions
diff --git a/templates/searchresults.html b/templates/searchresults.html
new file mode 100644
index 0000000..4562219
--- /dev/null
+++ b/templates/searchresults.html
@@ -0,0 +1,114 @@
+<link rel="prefetch" href="{{root}}search-index.json" />
+<link rel="prefetch" href="{{root}}search-metadata.json" />
+
+<div id="search_placeholder">
+  <p>Search is loading. If you cannot see any results after a few seconds, check that JavaScript is enabled in your browser.</p>
+</div>
+
+<div id="search_noquery">
+  <p>Enter a few words to the box above to start the search.</p>
+</div>
+
+<div id="search_success" style="display: none">
+  <h1>Search results</h1>
+  <div id="search_results">
+  </div>
+</div>
+
+<div id="search_fail" style="display: none">
+  <h1>No results found</h1>
+  <p>You may try a simpler search query, or find the page <a href="{{root}}tag">by the categories</a>.</p>
+</div>
+
+<div id="search_error" style="display: none">
+  <h1>Search error</h1>
+  <p>Search failed; this is likely caused by a badly formatted query string. Try a different query.</p>
+  <p>The error description is: <span style="color: red" id="search_error_text"></span></p>
+</div>
+
+<script src="{{root}}static/lunr.min.js"></script>
+
+<script>
+  var el_query = document.getElementById('search_query');
+  var el_placeholder = document.getElementById('search_placeholder');
+  var el_noquery = document.getElementById('search_noquery');
+  var el_success = document.getElementById('search_success');
+  var el_fail = document.getElementById('search_fail');
+  var el_error = document.getElementById('search_error');
+  var el_error_text = document.getElementById('search_error_text');
+  var el_results = document.getElementById('search_results');
+
+  function run_search(q) {
+    el_placeholder.style.display = 'none';
+
+    if(q.length === 0) {
+      el_noquery.style.display = 'block';
+      el_success.style.display = 'none';
+      el_fail.style.display = 'none';
+      el_error.style.display = 'none';
+      return;
+    }
+
+    var results = []
+
+    try {
+      results = window.search_index.search(q)
+    } catch (err) {
+      console.log("search error: " + err);
+      el_error_text.innerHTML = '';
+      el_error_text.appendChild(document.createTextNode(err.message));
+
+      el_noquery.style.display = 'none';
+      el_success.style.display = 'none';
+      el_fail.style.display = 'none';
+      el_error.style.display = 'block';
+      return;
+    }
+
+    el_results.innerHTML = ''
+    for(var ri=0; ri<results.length; ++ri) {
+      if (ri>=100) {
+        var out = document.createElement("p")
+        out.innerHTML = "Displaying only 100 top matches. Try searching for more specific terms to refine the search."
+        el_results.appendChild(out)
+        break;
+      }
+
+      const r=results[ri]
+      var out = document.createElement("p")
+      out.appendChild(document.createTextNode(window.search_metadata[r.ref].title))
+      el_results.appendChild(out)
+    }
+
+    if(results.length === 0) {
+      el_noquery.style.display = 'none';
+      el_success.style.display = 'none';
+      el_fail.style.display = 'block';
+      el_error.style.display = 'none';
+    } else {
+      el_noquery.style.display = 'none';
+      el_success.style.display = 'block';
+      el_fail.style.display = 'none';
+      el_error.style.display = 'none';
+    }
+  }
+
+  function handle_search_input(ev) {
+    run_search(ev.target.value)
+    window.history.pushState("", "", window.location.pathname + '?search_query='+encodeURIComponent(ev.target.value))
+    el_query.addEventListener('input', handle_search_input)
+  }
+
+  Promise.all([
+    fetch('{{root}}search-index.json').then(response => response.text()).then(text => {
+      window.search_index = lunr.Index.load(JSON.parse(text))
+    }),
+    fetch('{{root}}search-metadata.json').then(response => response.text()).then(text => {
+      window.search_metadata = JSON.parse(text)
+    })
+  ]).then(() => {
+    var search_term = (new URLSearchParams(window.location.search)).get('search_query') || "";
+    el_query.value = search_term
+    handle_search_input({target: {value: search_term}})
+  })
+</script>