--- trunk2/out/thesaurus.html	2004/09/20 19:14:15	456
+++ trunk2/out/thesaurus.html	2004/09/23 23:19:38	467
@@ -13,14 +13,38 @@
 	document.myfilter = new BFilter(headlines);
 
 	document.myfilter.result = function (arr) {
+		var r = element_id('results');
+		if (r) {
+			var e = document.createElement("a");
+			e.setAttribute("href","browse.html?o="+arr[1]);
+			e.appendChild(document.createTextNode(arr[0]));
+			r.appendChild(e);
+
+			r.appendChild(document.createTextNode(" "));
+
+			e = document.createElement("a");
+			e.setAttribute("href","thes/"+arr[1]+".html");
+			//e.setAttribute("target","_blank");
+			e.appendChild(document.createTextNode(">>"));
+			r.appendChild(e);
+
+			r.appendChild(document.createElement("br"));
+
+			return null;
+		} else {
+			alert("can't find results div!");
+		}
+/*
 		return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+
 		'&nbsp;<a href="browse.html?o='+arr[1]+'">&curren;</a>' +
 		'</li>';
+*/
 	}
 
 	// this function is called when updating innerHTML with results
 	document.myfilter.display = function (html) {
-		return '<ul>'+html+'</ul>';
+		return null;
+//		return '<ul>'+html+'</ul>';
 	}
 }