1 files changed, 7 insertions, 36 deletions
diff --git a/search.html b/search.html
index fe400ce..aac76c6 100644
--- a/search.html
+++ b/search.html
@@ -10,45 +10,16 @@ lang: "en"
 <script src="/assets/js/lunr.min.js"></script>
 <script src="/assets/js/search.js"></script>
 
-<p>
-<input id="input_qterm"></input>
-<button id="qsubmit">Search</button>
-</p>
+<form id="searchForm">
+  <p>
+    <input id="input_qterm" type="text">
+    <button id="qsubmit" type="submit">Search</button>
+  </p>
+</form>
 
 <h2>Results for <span id="qterm"></span></h1>
 <div id="results">
 </div>
 
 
-<script>
-  // search
-  function query(queryterm) {
-      var result = do_search(queryterm);
-      const rbase = document.getElementById("results");
-      rbase.textContent = "";
-      if (result.length) {
-          var root = rbase.appendChild(document.createElement("ul"));
-          result.forEach(function(p) {
-              var li = document.createElement("li");
-              var el = li.appendChild(document.createElement("a"));
-              el.textContent = p.title;
-              el.href = p.url;
-              // converted to page, to more score
-              /*el = li.appendChild(document.createElement("span"));
-              el.textContent = " [score: " + r.score.toString() + "]";*/
-              root.appendChild(li);
-          });
-      } else {
-          var el = document.createElement("p");
-          el.textContent = "No results";
-          rbase.appendChild(el);
-      }
-      document.getElementById("qterm").textContent = queryterm;
-  }
-  document.getElementById("qsubmit").onclick = function(ev) {
-      const qbox = document.getElementById("input_qterm").value;
-      if (qbox.length !== 0) {
-          query(qbox);
-      }
-  };
-</script>
+<script src="/assets/js/searchform.js"></script>