diff options
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/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html | |
parent | 9ff2d2da866a142d564adfb2038ee5ce02e36138 (diff) |
updated the rest of jsdoc to use the Galois Open-Source template
Diffstat (limited to 'tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html')
-rw-r--r-- | tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html | 14 |
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> |