[wwwdocs] revamp searchbox

[Gerald Pfeifer]

Shorten the introduction a bit.  Use <div>, <span>, and style= to
properly reduce the size of the input fields to 90% and avoid
undesirable line break.  Move the actual search request before the
search options, and move the reference to the detailed search to
the end.

Installed.

Gerald

Index: searchbox.ihtml
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/searchbox.ihtml,v
retrieving revision 1.12
diff -u -r1.12 searchbox.ihtml
--- searchbox.ihtml	5 Jun 2006 00:50:32 -0000	1.12
+++ searchbox.ihtml	5 Jun 2006 11:43:09 -0000
@@ -1,23 +1,24 @@
-This search will allow you to search the contents of
-all the publicly available WWW documents at gcc.gnu.org.
-<br />
-There is also a <a href="search.html">detailed search form</a>.
-<br />
+<p>This search will allow you to search the contents of
+all publicly available WWW documents at gcc.gnu.org.</p>
+
+<div style="font-size:90%;">
+
 <form method="get" action="http://gcc.gnu.org/cgi-bin/search.cgi">
-<font size="-1">
-Match: <select name="m">
-<option value="all">All words</option>
-<option value="any">Any word</option>
-<option value="bool">Boolean expression</option>
-</select>
-Sort by: <select name="s">
-<option value="DRP">Newest</option>
-<option value="RPD">Best Match</option>
-</select>
-</font>
-<br />
-Search:
-<input type="text" size="30" name="q" value="" />
+<input type="text" size="30" name="q" value="" style="font-size:90%;" />
 <input type="hidden" name="cmd" value="Search" />
-<input type="submit" value="Search" />
+<input type="submit" value="Search" style="font-size:90%;" />
+<br />
+<span>Match: <select name="m" style="font-size:90%;">
+  <option value="all">All words</option>
+  <option value="any">Any word</option>
+  <option value="bool">Boolean expression</option>
+  </select></span>
+<span>Sort by: <select name="s" style="font-size:90%;">
+  <option value="DRP">Newest</option>
+  <option value="RPD">Best Match</option>
+  </select></span>
 </form>
+
+</div>
+
+<p>There is also a <a href="search.html">detailed search form</a>.</p>