--- trunk2/out/js/search.js	2004/09/23 08:27:59	463
+++ trunk2/out/js/search.js	2004/09/23 17:14:33	464
@@ -83,22 +83,9 @@
 {
 //  return; // Disable debugging
 
-  if(!debug.box)
-  {
-    debug.box = document.createElement("div");
-    debug.box.setAttribute("style",
-                           "background-color:white" + 
-                           "font-family: monospace; " +
-                           "border: solid black 3px; "+
-                           "padding: 10px;");
+  var debug_div = element_id('debug');
 
-    document.body.appendChild(debug.box);
-    debug.box.innerHTML = "<h1 style='test-align:cent'>Debugging Output</h1>";
-  }
-
-  var p = document.createElement("p");
-  p.appendChild(document.createTextNode(msg));
-  debug.box.appendChild(p);
+  if (debug_div) debug_div.innerHTML += msg+"<br/>\n";
 }
 
 //