diff options
Diffstat (limited to 'doc/manual_src/template.html')
| -rw-r--r-- | doc/manual_src/template.html | 66 |
1 files changed, 37 insertions, 29 deletions
diff --git a/doc/manual_src/template.html b/doc/manual_src/template.html index 161b998..9aae1de 100644 --- a/doc/manual_src/template.html +++ b/doc/manual_src/template.html @@ -1,4 +1,4 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml"$if(lang)$ lang="$lang$" xml:lang="$lang$"$endif$> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> @@ -19,7 +19,8 @@ $endif$ $for(css)$ <link rel="stylesheet" href="$css$" $if(html5)$$else$type="text/css" $endif$/> $endfor$ - <link rel="stylesheet" type="text/css" href="../../galois-github.css" /> + <link rel="stylesheet" type="text/css" href="reset.css" media="all"> + <link rel="stylesheet" type="text/css" href="style.css" media="all"> $if(math)$ $math$ $endif$ @@ -27,26 +28,30 @@ $for(header-includes)$ $header-includes$ $endfor$ </head> -<body> -<div id="canvasWrapper"> - <div id="canvas"> +<body class="interior"> - <!-- PAGE HEADER --> - <div id="pageHeaderWrapper"> - <div id="pageHeader"> - <br class="clearer"> - <div id="bannerAreaWrapper"> <div id="bannerArea"> - <div id="siteTitleWrapper"> - <h1 id="siteTitle"> - <a href="http://galois.com/">Galois</a> - </h1> - </div> - </div> - </div> - <! -- Banner Area (and wrapper) --> - </div> - </div> <!-- Page Header (and wrapper) --> + <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> +<!-- /////////////////////////////////////////// + + Template Stops Here, Enter Page Content Below + + //////////////////////////////////////////// --> + + <section id="content"> + <div class="wrap"> <!-- PAGE BODY --> <div id="pageBodyWrapper"> <div id="pageBody"> @@ -76,16 +81,19 @@ $include-after$ $endfor$ -</div> </div> <!-- Content (and wrapper) --> -</div> </div> <!-- Page Body (and wrapper) --> + </div><!-- /.wrap --> + </section><!-- /#content --> -<!-- PAGE FOOTER --> -<div id="pageFooterWrapper"> <div id="pageFooter"> - Get the source code on GitHub: - <a href="https://github.com/GaloisInc/FiveUI">GaloisInc/FiveUI</a> -</div> </div> <!-- Page Footer --> -</div> </div> <!-- Canvas --> + <footer> + <div class="wrap"> + <nav id="footer-nav"> + <ul> + <li><a href="http://corp.galois.com/contact/">Contact</a></li> + </ul> + </nav> -<div class="clearer" id="bodyClearer"></div> + <p>Copyright © 2012 Galois, Inc. All rights reserved.</p> + </div><!-- /.wrap --> + </footer> </body> </html> |