doc/misc/hoogle-small.html

   1 <html>
   2 <head><base target="main"></head>
   3 <body>
   4   <div id="search" style="whitespace:no-wrap;">
   5                 <form action="." method="get">
   6                         <input name="hoogle" id="hoogle" type="text" value="" size="25" maxlength="100" />
   7                         <input id="submit" type="submit" value="Hoogle" />
   8         </div>
   9 </form>
  10 </body>
  11 </html>