--- trunk/html/search.html	2004/07/20 17:08:06	4
+++ trunk/html/search.html	2004/10/03 21:24:57	18
@@ -35,8 +35,7 @@
       <script type="text/javascript">
         document.write("<input name=\"query\" value=\"");
 
-        if(args.query)
-        {
+        if (args.query) {
           var search_string = args.query.replace(/\+/gi," ");
           document.write(search_string);
         }
@@ -49,8 +48,7 @@
 
     <script type="text/javascript">
 
-      if (args.query)
-      {
+      if (args.query) {
         document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n");
         doSearch(args.index_name, args.query, printResults);
       }      
@@ -61,5 +59,8 @@
       results will be only those documents which contain <b>ALL</b> of the
       requested keywords</p>
 
+    <div id="debug" style="color: gray;">
+    </div>
+
   </body>
 </html>