[nickfilter] various UI improvements

cgi/nickfilter.js

@@ -38,7 +38,7 @@ $(document).ready(function() {
     /** Create filter panel/box thingy and add nicks */
     try {
         var filterbox = document.createElement("div");
-        $(filterbox).hide().css("position", "fixed"); /* don't move onscroll */
+        $(filterbox).hide().css("position", "absolute");
         $(filterbox).attr("id", filterbox_id);
 
         // Add to body element
@@ -50,6 +50,7 @@ $(document).ready(function() {
             + '<p id="show_hide_all">'
             + ' <a href="javascript:show_all()">Show All</a>'
             + ' <a href="javascript:hide_all()">Hide All</a>'
+            + ' <a href="javascript:hide_nick_filter()">(hide this window)</a> '
             + '</p>'
 
             + '<div id="shown_nicks">'
@@ -257,6 +258,10 @@ function filtering_on() {
     render_nicklists();
 }
 
+function hide_nick_filter() {
+    $('#filterbox').hide();
+}
+
 function filtering_off() {
     // Could do a reset here by removing all properties from
     // hidden_nicks / shown_nicks, but I think it's a feature we don't -

cgi/style.css

@@ -154,7 +154,7 @@ abbr { cursor: help; }
 
 /* position: fixed; set in JS */
 #filterbox {
-	width: 25%;
+	width: 24em;
 	top: 50px;
 	right: 1%;
 	padding: 10px;