updated the rest of jsdoc to use the Galois Open-Source template

author: Rogan Creswick <creswick@gmail.com> 2012-10-31 17:10:14 -0700
committer: Rogan Creswick <creswick@gmail.com> 2012-10-31 17:10:14 -0700
commit: f0b7403e29e05aee043c9b0b36817b415fbadea4 (patch)
tree: 165d1572066c61c232719217925e6ff459de025e /tools
parent: 9ff2d2da866a142d564adfb2038ee5ce02e36138 (diff)
6 files changed, 107 insertions, 52 deletions
diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/allfiles.tmpl b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/allfiles.tmpl
index 4c7de1c..c5b72fb 100644
--- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/allfiles.tmpl
+++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/allfiles.tmpl
@@ -2,19 +2,28 @@
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
 	<head>
+    {! Link.base = ""; /* all generated links will be relative to this */ !}
 		<meta http-equiv="content-type" content="text/html; charset={+IO.encoding+}" />
-		{! Link.base = ""; /* all generated links will be relative to this */ !}
+
 		<title>JsDoc Reference - File Index</title>
 		<meta name="generator" content="JsDoc Toolkit" />
-		
+
 		<style type="text/css">
+    {+include("static/reset.css")+}
+    {+include("static/style.css")+}
 		{+include("static/default.css")+}
+    {+include("static/preludeIntro.css")+}
 		</style>
 	</head>
-	
-	<body>
+
+	<body class="interior">
+
+    <!-- begin static/header.html -->
 		{+include("static/header.html")+}
-		
+		<!-- end static/header.html -->
+
+    <section id="content">
+
 		<div id="index">
 			{+publish.classesIndex+}
 		</div>
@@ -46,11 +55,25 @@
 			</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>
+    </section><!-- /#content -->
+
+		<!-- <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> -->
+
+    <footer>
+      <div class="wrap">
+        <nav id="footer-nav">
+          <ul>
+            <li><a href="http://corp.galois.com/contact">Contact</a></li>
+          </ul>
+        </nav>
+
+        <p>Copyright &copy; 2012 Galois, Inc. All rights reserved.</p>
+      </div><!-- /.wrap -->
+    </footer>
 	</body>
-</html>
-\ No newline at end of file
+</html>
diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/class.tmpl b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/class.tmpl
index 1b32e4a..e37c282 100644
--- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/class.tmpl
+++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/class.tmpl
@@ -8,11 +8,14 @@
 		<title>JsDoc Reference - {+data.alias+}</title>
 
 		<style type="text/css">
-			{+include("static/default.css")+}
+    {+include("static/reset.css")+}
+		{+include("static/default.css")+}
+    {+include("static/style.css")+}
+    {+include("static/preludeIntro.css")+}
 		</style>
 	</head>
 
-	<body>
+	<body class="interior">
 <!-- ============================== header ================================= -->	
 		<!-- begin static/header.html -->
 		{+include("static/header.html")+}
@@ -25,6 +28,7 @@
 			<!-- end publish.classesIndex -->
 		</div>
 		
+    <section id="content">
 		<div id="content">
 <!-- ============================== class title ============================ -->
 			<h1 class="classTitle">
@@ -638,12 +642,20 @@
 			
 			<hr />
 		</div>
-
+  </section>
 		
 <!-- ============================== footer ================================= -->
-		<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="_blank">JsDoc Toolkit</a> {+JSDOC.VERSION+} on {+new Date()+}
-		</div>
+
+    <footer>
+      <div class="wrap">
+        <nav id="footer-nav">
+          <ul>
+            <li><a href="http://corp.galois.com/contact">Contact</a></li>
+          </ul>
+        </nav>
+
+        <p>Copyright &copy; 2012 Galois, Inc. All rights reserved.</p>
+      </div><!-- /.wrap -->
+    </footer>
 	</body>
 </html>
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 8af9fe2..7c0ef00 100644
--- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/index.tmpl
+++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/index.tmpl
@@ -8,14 +8,16 @@
 		<meta name="generator" content="JsDoc Toolkit" />
 
 		<style type="text/css">
-		<!-- {+include("static/default.css")+} -->
-    <!-- {+include("static/preludeIntro.css")+} -->
     {+include("static/reset.css")+}
+		{+include("static/default.css")+}
     {+include("static/style.css")+}
+    {+include("static/preludeIntro.css")+}
 		</style>
 	</head>
 	<body class="interior">
-    <header>
+<!-- ============================== header ================================= -->	
+		<!-- begin static/header.html -->
+		    <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>
@@ -26,7 +28,9 @@
           </ul>
         </nav><!-- /#primary -->
       </div><!-- /.wrap -->
-    </header
+    </header>
+		<!-- end static/header.html -->
+
        <section id="content">
 
 		     <div id="index">
diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css
index 3de2dcb..b671e50 100644
--- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css
+++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css
@@ -1,7 +1,7 @@
 /* default.css */
 body
 {
-	font: 12px "Lucida Grande", Tahoma, Arial, Helvetica, sans-serif;
+	font: 16px "Lucida Grande", Tahoma, Arial, Helvetica, sans-serif;
 }
 
 .header
@@ -68,16 +68,17 @@ pre.code
 
 .summaryTable { width: 100%; }
 
-h1.classTitle
-{
-	font-size:170%;
-	line-height:130%;
-}
+/* h1.classTitle */
+/* { */
+/* 	font-size:170%; */
+/* 	line-height:130%; */
+/* } */
 
 h2 { font-size: 110%; }
 caption, div.sectionTitle
 {
-	background-color: #7F8FB1;
+	/* background-color: #7F8FB1; */
+    background-color: #366689;
 	color: #fff;
 	font-size:130%;
 	text-align: left;
@@ -106,22 +107,22 @@ div.sectionTitle { margin-bottom: 8px; }
 
 td.attributes, .fixedFont
 {
-	line-height: 15px;
+	/* line-height: 15px; */
 	color: #002EBE;
 	font-family: "Courier New",Courier,monospace;
-	font-size: 13px;
+	/* font-size: 13px; */
 }
 
 .summaryTable td.nameDescription
 {
 	text-align: left;
-	font-size: 13px;
-	line-height: 15px;
+	/* font-size: 13px; */
+	/* line-height: 15px; */
 }
 
 .summaryTable td.nameDescription, .description
 {
-	line-height: 15px;
+	/* line-height: 15px; */
 	padding: 4px;
 	padding-left: 4px;
 }
@@ -136,10 +137,11 @@ ul.inheritsList
 }
 
 .detailList {
-	margin-left: 20px; 
-	line-height: 15px;
+	margin-left: 20px;
+	/* line-height: 15px; */
 }
 .detailList dt { margin-left: 20px; }
+.detailList dd { margin-left: 50px; }
 
 .detailList .heading
 {
diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html
index 7b81904..7bfd665 100644
--- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html
+++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html
@@ -1,2 +1,12 @@
-<div id="header">
-</div>
+    <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>
diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css
index aec68f5..0c77514 100644
--- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css
+++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css
@@ -1,21 +1,25 @@
 
 
-/* Layout */
-.wrap {
-  width: 90%;
-  margin: 0 auto;
-}
+/* /\* Layout *\/ */
+/* .wrap { */
+/*   width: 90%; */
+/*   margin: 0 auto; */
+/* } */
 
 /* Global */
-body {
-   font-family: "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif; 
-   font-weight: 300;
-   color: #2C2C2C;
-}
-#content p {
-  font-size: 1em;
-  line-height: 1.125em;
-}
+/* body { */
+/*    font-family: "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif;  */
+/*    font-weight: 300; */
+/*    color: #2C2C2C; */
+/* } */
+/* #content { */
+/*   line-height: 1.125em; */
+/* } */
+
+/* #content p { */
+/*   font-size: 1em; */
+/*   line-height: 1.125em; */
+/* } */
   /* Header */
   header {
     background: #366689;
author	Rogan Creswick <creswick@gmail.com>	2012-10-31 17:10:14 -0700
committer	Rogan Creswick <creswick@gmail.com>	2012-10-31 17:10:14 -0700
commit	f0b7403e29e05aee043c9b0b36817b415fbadea4 (patch)
tree	165d1572066c61c232719217925e6ff459de025e /tools
parent	9ff2d2da866a142d564adfb2038ee5ce02e36138 (diff)