1 files changed, 12 insertions, 2 deletions
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>