diff options
author | Andy Adams-Moran <adams-moran@galois.com> | 2012-05-17 11:00:45 -0700 |
---|---|---|
committer | Andy Adams-Moran <adams-moran@galois.com> | 2012-05-17 11:00:45 -0700 |
commit | cde1427223dd0d066b4da59f6834b140ee3322a0 (patch) | |
tree | 2ed80277e66ee488dce514854baa1b5d1c2a9908 /doc/manual_src/galois-github-before-body.txt | |
parent | f454bad1206942a9537012804e6d02452effa0fa (diff) |
Doco: use Galois' github style sheet in pandoc-generated html
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"> + |