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-after-body.txt | |
| parent | f454bad1206942a9537012804e6d02452effa0fa (diff) | |
Doco: use Galois' github style sheet in pandoc-generated html
Diffstat (limited to 'doc/manual_src/galois-github-after-body.txt')
| -rw-r--r-- | doc/manual_src/galois-github-after-body.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/manual_src/galois-github-after-body.txt b/doc/manual_src/galois-github-after-body.txt new file mode 100644 index 0000000..ee0af0f --- /dev/null +++ b/doc/manual_src/galois-github-after-body.txt @@ -0,0 +1,11 @@ +</div> </div> <!-- Content (and wrapper) --> +</div> </div> <!-- Page Body (and wrapper) --> + +<!-- PAGE FOOTER --> +<div id="pageFooterWrapper"> <div id="pageFooter"> +<p id="copyright">Copyright © 2012 Galois, Inc. All rights reserved.</p> +</div> </div> <!-- Page Footer --> +</div> </div> <!-- Canvas --> + +<div class="clearer" id="bodyClearer"></div> + |