put search-box input inside form in Scribbled HTML

svn: r12137

original commit: 6be0f8f4dfdbd92cf3c057ffa1bcac9ef09e1aa6

collects/scribble/html-render.ss

@@ -191,7 +191,7 @@
 (define search-field
   @`p{Search: @(input ([type "text"] [id "search_box"]
                        [onchange "delayed_search(this.value,event);"]
-                       [onkeyup  "delayed_search(this.value,event);"]))})
+                       [onkeyup  "delayed_search(this.value,event);"])))})
 
 )
 
@@ -199,7 +199,9 @@
   (let ([sa         string-append]
         [emptylabel "...search manuals..."]
         [dimcolor   "#888"])
-    `(input
+    `(form
+      ([class "searchform"])
+      (input
        ([class "searchbox"]
         [style ,(sa "color: "dimcolor";")]
         [type "text"]
@@ -213,7 +215,7 @@
         [onblur ,(sa "if (this.value.match(/^ *$/)) {"
                      " this.style.color=\""dimcolor"\";"
                      " this.style.textAlign=\"center\";"
-                    " this.value=\""emptylabel"\"; }")]))))
+                     " this.value=\""emptylabel"\"; }")])))))
 (define search-box (make-search-box "../"))
 (define top-search-box (make-search-box ""))
 

collects/scribble/scribble.css

@@ -101,6 +101,12 @@ table td {
   color: #e0e0e0;
 }
 
+.searchform {
+  display: inline;
+  margin: 0;
+  padding: 0;
+}
+
 .searchbox {
   width: 16em;
   margin: 0px;