1 files changed, 50 insertions, 25 deletions
diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/index.tmpl b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/index.tmpl
index e6066a7..8af9fe2 100644
--- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/index.tmpl
+++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/index.tmpl
@@ -3,36 +3,61 @@
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
 	<head>
 		<meta http-equiv="content-type" content="text/html; charset={+IO.encoding+}" />
-		
+
 		<title>FiveUI Prelude Reference</title>
 		<meta name="generator" content="JsDoc Toolkit" />
-		
+
 		<style type="text/css">
-		{+include("static/default.css")+}
-                {+include("static/preludeIntro.css")+}
+		<!-- {+include("static/default.css")+} -->
+    <!-- {+include("static/preludeIntro.css")+} -->
+    {+include("static/reset.css")+}
+    {+include("static/style.css")+}
 		</style>
 	</head>
-	<body>
-		{+include("static/header.html")+}
+	<body class="interior">
+    <header>
+      <div class="wrap">
+        <a href="http://galoisinc.github.com/FiveUI" id="logo" title="Galois Open Source"><img src="images/logo.png" alt="Galois" /></a>
+        <h2>Open Source</h2>
+        <nav id="primary">
+          <ul>
+            <li><a href="http://galois.com">Company website</a></li>
+            <li><a href="https://github.com/GaloisInc/">Github home</a></li>
+          </ul>
+        </nav><!-- /#primary -->
+      </div><!-- /.wrap -->
+    </header
+       <section id="content">
+
+		     <div id="index">
+			     {+publish.classesIndex+}
+		     </div>
+
+		     <div class="wrap" id="content">
+           {+include("static/preludeIntro.html")+}
+		       <!-- <h1 class="classTitle">Class Index</h1> -->
+		       <!-- <for each="thisClass" in="data"> -->
+		       <!--   <div> -->
+		       <!--     <h2>{+(new Link().toSymbol(thisClass.alias))+}</h2> -->
+		       <!--     {+resolveLinks(summarize(thisClass.classDesc))+} -->
+		       <!--   </div> -->
+		       <!--   <hr /> -->
+		       <!-- </for> -->
+		     </div>
+
+       </div><!-- /.wrap -->
+    </section><!-- /#content -->
 
-		<div id="index">
-			{+publish.classesIndex+}
-		</div>
+    <footer>
+      <div class="wrap">
+        <nav id="footer-nav">
+          <ul>
+            <li><a href="http://corp.galois.com/contact">Contact</a></li>
+          </ul>
+        </nav>
 
-		<div id="content">
-                  {+include("static/preludeIntro.html")+}
-		    <!-- <h1 class="classTitle">Class Index</h1> -->
-		    <!-- <for each="thisClass" in="data"> -->
-		    <!--   <div> -->
-		    <!--     <h2>{+(new Link().toSymbol(thisClass.alias))+}</h2> -->
-		    <!--     {+resolveLinks(summarize(thisClass.classDesc))+} -->
-		    <!--   </div> -->
-		    <!--   <hr /> -->
-		    <!-- </for> -->
-		</div>
-		<div class="fineprint" style="clear:both">
-			<if test="JSDOC.opt.D.copyright">&copy;{+JSDOC.opt.D.copyright+}<br /></if>
-			Documentation generated by <a href="http://code.google.com/p/jsdoc-toolkit/" target="_blankt">JsDoc Toolkit</a> {+JSDOC.VERSION+} on {+new Date()+}
-		</div>
-	</body>
+        <p>Copyright &copy; 2012 Galois, Inc. All rights reserved.</p>
+      </div><!-- /.wrap -->
+    </footer>
+  </body>
 </html>