search box for the notificatons [close #563]

public/script.js

@@ -7,3 +7,15 @@ function search(q)
 		quotes[i].className = quotes[i].innerHTML.indexOf(q) == -1 ? 'quotes hidden' : 'quotes';
 	}
 }
+
+function searchNotifies(q) {
+    var notifies = document.getElementById('notifies');
+    for (var i=1, row; row=notifies.rows[i]; i++) {
+        console.log(row);
+        if(row.cells[3].innerHTML.indexOf(q) == -1) {
+            row.style.display = 'none';
+        } else {
+            row.style.display = '';
+        }
+    }
+}

public/styles.css

@@ -64,6 +64,7 @@ div#main {
 
 div#controls {
 	width: 100%;
+        padding: 10px;
 }
 
 input {

views/report/notifies.jade

@@ -4,8 +4,10 @@ block content
   div#backlink
     a(href='/notify/'+server) « Server Channels
   p
-  div#profile_datatable
+  div#controls
-    table.table.table-hover.data
+    input(type="text", name="search", id="search-text", oninput="searchNotifies(this.value)")
+  div#notify_datatable
+    table.table.table-hover.data#notifies
       thead
         tr
           th Date