diff --git a/contrib/static/search.js b/contrib/static/search.js
index a551d5e..8f84ae2 100644
--- a/contrib/static/search.js
+++ b/contrib/static/search.js
@@ -4,67 +4,79 @@
 
 /** inject search widget */
 function inject_search(elem) {
-  var inner = document.createElement("div");
-  var button = document.createElement("button");
-  var input = document.createElement("input");
-  var newsgroup = document.createElement("input");
-  var status = document.createElement("span");
-  var output = document.createElement("div");
+    var inner = document.createElement("div");
+    var button = document.createElement("button");
+    var input = document.createElement("input");
+    var newsgroup = document.createElement("input");
+    var status = document.createElement("span");
+    var output = document.createElement("div");
 
-  button.innerHTML = "search";
-  
-  function inject_search_result(r) {
-    var e = document.createElement("div");
-    var a = document.createElement("a");
-    a.href = r.URL;
-    a.target = "_blank";
-    e.appendChild(a);
-    var txt = document.createTextNode(r.Message_id);
-    a.appendChild(txt);
-    output.appendChild(document.createElement("hr"));
-    output.appendChild(e);
-  }
-
-  button.onclick = function(ev) {
-    var text = input.value;
-    input.value = "";
-    var group = newsgroup.value;
-    while(output.children.length > 0) 
-      output.children[0].remove();
-    var ajax = new XMLHttpRequest();
-    ajax.onreadystatechange = function() {
-      if (ajax.readyState == XMLHttpRequest.DONE) {
-        // done
-        if(ajax.status == 200) {
-          // good
-          var result = JSON.parse(ajax.responseText);
-          var num = result.length - 1;
-          if (num <= 0) {
-            status.innerHTML = "no results";
-          } else {
-            status.innerHTML = "found "+num+" results";
-            for (var idx = 0 ; idx < result.length; idx++ ) {
-              inject_search_result(result[idx]);
-            }
-          }
-        } else {
-          status.innerHTML = "HTTP "+ajax.status;
-        }
-      } else {
-        status.innerHTML = "searching... ";
-      }
+    button.innerHTML = "search";
+    
+    function inject_search_result(r) {
+        var e = document.createElement("div");
+        var a = document.createElement("a");
+        a.href = r.URL;
+        a.target = "_blank";
+        e.appendChild(a);
+        var txt = document.createTextNode(r.Message_id);
+        a.appendChild(txt);
+        output.appendChild(document.createElement("hr"));
+        output.appendChild(e);
     }
-    ajax.open("GET", "/api/find?text="+text+"&group="+group);
-    ajax.send();
-  }
 
-  inner.appendChild(document.createTextNode("text: "));
-  inner.appendChild(input);
-  inner.appendChild(document.createTextNode("board: "));
-  inner.appendChild(newsgroup);
-  inner.appendChild(button);
-  inner.appendChild(status);
-  
-  elem.appendChild(inner);
-  elem.appendChild(output);
+    var search = function() {
+        var text = input.value;
+        input.value = "";
+        var group = newsgroup.value;
+        while(output.children.length > 0) 
+            output.children[0].remove();
+        var ajax = new XMLHttpRequest();
+        ajax.onreadystatechange = function() {
+            if (ajax.readyState == XMLHttpRequest.DONE) {
+                // done
+                if(ajax.status == 200) {
+                    // good
+                    var result = JSON.parse(ajax.responseText);
+                    var num = result.length - 1;
+                    if (num <= 0) {
+                        status.innerHTML = "no results";
+                    } else {
+                        status.innerHTML = "found "+num+" results";
+                        for (var idx = 0 ; idx < result.length; idx++ ) {
+                            inject_search_result(result[idx]);
+                        }
+                    }
+                } else {
+                    status.innerHTML = "HTTP "+ajax.status;
+                }
+            } else {
+                status.innerHTML = "searching... ";
+            }
+        };
+        ajax.open("GET", "/api/find?text="+text+"&group="+group);
+        ajax.send();
+    };
+
+    button.onclick = function(ev) {
+        search();
+    };
+
+    input.onsubmit = function(ev) {
+        search();
+    };
+
+    newsgroup.onsubmit = function(ev) {
+        search();
+    };
+
+    inner.appendChild(document.createTextNode("text: "));
+    inner.appendChild(input);
+    inner.appendChild(document.createTextNode("board: "));
+    inner.appendChild(newsgroup);
+    inner.appendChild(button);
+    inner.appendChild(status);
+    
+    elem.appendChild(inner);
+    elem.appendChild(output);
 }