[Revamp the front page of Hoogle
Neil Mitchell <http://www.cs.york.ac.uk/~ndm/>**20060621103610] {
hunk ./src/Web/res/front.inc 10
-		function on_load()
-		{
-			document.getElementById('txt').focus();
-		}
+function addHoogle()
+{
+	addEngine('hoogle','png','Programming','4691');
+}
+
+function addEngine(name,ext,cat,pid)
+{
+  if ((typeof window.sidebar == "object") && (typeof window.sidebar.addSearchEngine == "function")) {
+    window.sidebar.addSearchEngine(
+      "http://mycroft.mozdev.org/install.php/" + pid + "/" + name + ".src",
+      "http://mycroft.mozdev.org/install.php/" + pid + "/" + name + "."+ ext, name, cat );
+  } else {
+    alert("You will need a browser which supports Sherlock to install this plugin.");
+  }
+}
+
+function on_load()
+{
+	document.getElementById('txt').focus();
+}
hunk ./src/Web/res/front.inc 35
-<table style="width:100%;margin-bottom:30px;">
+<table id="header">
hunk ./src/Web/res/front.inc 37
-		<td style="text-align:center;padding-top:15px;">
-			<img style="vertical-align:top;" src="res/hoogle_large.png" alt="Hoogle" />
-			<sup style="font-family:serif;font-weight:bold;font-size:16pt;">3
-				<span style="color:#b00;">[&beta;]</span>
-			</sup><br/>
-			<i>The Haskell API Search Engine</i><br/>
-			<form id="input" action="?" method="get"
-				style="text-align:center;padding-top:20px;display:block;">
-				<div>
-					<input name="q" id="txt" type="text" style="width:300px;margin-right:5px;" />
-					<input style="padding-left:15px;padding-right:15px;" type="submit" value="Search" />
-				</div>
-			</form>
-
-			<div id="example">
-				Example searches:<br/>
-				<a href="?q=map">map</a><br/>
-				<a href="?q=(a%20-%3E%20b)%20-%3E%20[a]%20-%3E%20[b]">(a -&gt; b) -&gt; [a] -&gt; [b]</a><br/>
-				<a href="?q=Ord%20a%20%3D%3E%20[a]%20-%3E%20[a]">Ord a =&gt; [a] -&gt; [a]</a>
-			</div>
+		<td style="text-align:left;">
+			<a href="http://www.haskell.org/">haskell.org</a>
hunk ./src/Web/res/front.inc 40
-		<td id="buttons">
-			<a href="/" id="haskell">haskell.org</a>
-			<a href="help.htm" id="help">Help</a>
-			<a href="about.htm" id="about">About</a>
-			<a href="download.htm" id="down">Download</a>
-			<a href="developers.htm" id="dev">Developers</a>
-			<a href="academics.htm" id="acad">Academics</a>
+		<td style="text-align:right;">
+			<!--[if IE]>
+			<div style="display:none;">
+			<![endif]-->
+			<a href="javascript:addHoogle()">Firefox plugin</a> |
+			<!--[if IE]>
+			</div>
+			<![endif]-->
+			<a href="http://www.haskell.org/haskellwiki/Hoogle/Tutorial">Tutorial</a> |
+			<a href="http://www.haskell.org/haskellwiki/Hoogle">Manual</a>
hunk ./src/Web/res/front.inc 51
-	</tr>
hunk ./src/Web/res/front.inc 53
-<p id="footer">
-	&copy; <a href="http://www.cs.york.ac.uk/~ndm/">Neil Mitchell</a> 2004-2005<br/>
-	<i>"Roses are red. Violets are blue. <a href="http://www.google.com/">Google</a> rocks. Homage to you."</i>
+<div style="width:100%;margin-top:30px;margin-bottom:30px;text-align:center;">
+	<img style="vertical-align:top;" src="res/hoogle_large.png" alt="Hoogle" />
+	<sup style="font-family:serif;font-weight:bold;font-size:16pt;">3
+		<span style="color:#b00;">[&beta;]</span>
+	</sup><br/>
+	<i>The Haskell API Search Engine</i><br/>
+	<form id="input" action="?" method="get"
+		style="text-align:center;padding-top:20px;display:block;">
+		<div>
+			<input name="q" id="txt" type="text" style="width:300px;margin-right:5px;" />
+			<input style="padding-left:15px;padding-right:15px;" type="submit" value="Search" />
+		</div>
+	</form>
+
+	<div style="margin:auto;margin-top:40px;padding:3px;width:300px;border:2px solid #cc0;background-color:#ffc;font-size:10pt;text-align:left;">
+		Example searches:<br/>
+		&nbsp; <a href="?q=map">map</a><br/>
+		&nbsp; <a href="?q=(a%20-%3E%20b)%20-%3E%20[a]%20-%3E%20[b]">(a -&gt; b) -&gt; [a] -&gt; [b]</a><br/>
+		&nbsp; <a href="?q=Ord%20a%20%3D%3E%20[a]%20-%3E%20[a]">Ord a =&gt; [a] -&gt; [a]</a>
+	</div>
+</div>
+
+<p style="text-align:center;font-size:10pt;font-style:italic;margin-bottom:3px;">
+	"Roses are red. Violets are blue. <a href="http://www.google.com/">Google</a> rocks. Homage to you."
+</p>
+<p id="footer" style="margin-top:3px;">
+	&copy; <a href="http://www.cs.york.ac.uk/~ndm/">Neil Mitchell</a> 2004-2005
hunk ./src/Web/res/front.inc 84
-
hunk ./web/res/hoogle.css 7
-	padding: 10px;
hunk ./web/res/hoogle.css 8
+	padding: 3px;
hunk ./web/res/hoogle.css 19
+/********************************************************************
+*  THE TOP
+*/
+
+#header {
+	width: 100%;
+	font-size: 11pt;
+}
+
+#header a {
+	text-decoration: none;
+}
+
+
+/********************************************************************
+*  THE BOTTOM
+*/
+#footer {
+	text-align: center;
+	font-size: 10pt;
+}
+
hunk ./web/res/hoogle.css 95
-
-
-/********************************************************************
-*  COLORS AND ICONS
-*/
-
-#help h1	{background-color: blue;}
-#about h1	{background-color: green;}
-#down h1	{background-color: #f60;}
-#dev h1		{background-color: red;}
-#acad h1	{background-color: purple;}
-#nodocs h1	{background-color: black;}
-
-
-/********************************************************************
-*  BUTTONS
-*/
-
-#buttons {
-	text-align: right;
-	width: 100px;
-	vertical-align: top;
-}
-#buttons a {
-	text-align: left;
-	display: block;
-	width: 100px;
-	height: 32px;
-	border: 1px solid red;
-	margin: 5px;
-	padding-left: 45px;
-
-	background-image: url(icons.png);
-	background-position: 0px 0px;
-	background-repeat: no-repeat;
-	background-color: white;
-
-	text-decoration: none;
-	font-weight: bold;
-	font-size: 12pt;
-	padding-top: 12px;
-}
-
-#buttons a:hover {
-	background-color: white
-}
-
-#buttons #help {
-	color: blue;
-	border-color: blue;
-	background-position: 0px 0px;
-}
-
-#buttons #about {
-	color: green;
-	border-color: green;
-	background-position: 0px -56px;
-}
-
-#buttons #down {
-	color: #f60;
-	border-color: #f60;
-	background-position: 0px -113px;
-}
-
-#buttons #dev {
-	color: red;
-	border-color: red;
-	background-position: 0px -170px;
-}
-
-#buttons #acad {
-	color: purple;
-	border-color: purple;
-	background-position: 0px -227px;
-}
-
-#buttons #haskell {
-	color: #35807E;
-	border-color: #35807E;
-	background-image: url(haskell_icon.png);
-	background-position: center left;
-}
-
-
-/********************************************************************
-*  COPYRIGHT
-*/
-#footer {
-	text-align: center;
-	font-size: 10pt;
-}
-
-#answers #footer {
-	background-color: #eee;
-	margin-top: 25px;
-}
-
hunk ./web/res/hoogle.css 155
-
-#example {
-	margin-top: 40px;
-	border: 2px solid #cc0;
-	background-color: #ffc;
-	text-align: left;
-	margin-left: 30%;
-	margin-right: 30%;
-	font-size: 10pt;
-	padding: 3px;
-}
-
}