--- trunk2/out/js/usage.js	2004/09/24 18:04:48	469
+++ trunk2/out/js/usage.js	2004/09/24 20:31:11	470
@@ -123,8 +123,9 @@
 
     e = document.createElement("a");
     e.setAttribute("href","thes/"+result[i].link+".html"+location.search);
-//    e.setAttribute("target","_blank");
-    e.appendChild(document.createTextNode(">>"));
+    e.setAttribute("target","popup");
+    e.onclick = function() { return popup(e) };
+    e.appendChild(document.createTextNode("\u00bb"));
     d.appendChild(e);
 /*
     e = document.createElement("font");