diff options
Diffstat (limited to 'doc/manual_src/galois-github-before-body.txt')
| -rw-r--r-- | doc/manual_src/galois-github-before-body.txt | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/doc/manual_src/galois-github-before-body.txt b/doc/manual_src/galois-github-before-body.txt new file mode 100644 index 0000000..ec0ae37 --- /dev/null +++ b/doc/manual_src/galois-github-before-body.txt @@ -0,0 +1,21 @@ +<div id="canvasWrapper"> <div id="canvas"> + +<!-- PAGE HEADER --> +<div id="pageHeaderWrapper"> <div id="pageHeader"> +<br class="clearer"> +<div id="navigationTop"> + <a href="https://github.com/GaloisInc/FiveUI"> + <img id="forkme" + src="http://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png" + alt="Fork me on GitHub" /> + </a> +</div> +<div id="bannerAreaWrapper"> <div id="bannerArea"> <div id="siteTitleWrapper"> + <div id="siteTitle"> <a href="https://github.com/GaloisInc/FiveUI/">FiveUI @ Galois' Github</a> </div> +</div> </div> </div> <!-- Banner Area (and wrapper) --> +</div> </div> <!-- Page Header (and wrapper) --> + +<!-- PAGE BODY --> +<div id="pageBodyWrapper"> <div id="pageBody"> +<div id="contentWrapper"> <div id="content"> + |