diff options
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> |