diff options
| author |  Rogan Creswick <creswick@gmail.com> | 2012-05-15 16:34:57 -0700 |
|---|---|---|
| committer | Rogan Creswick <creswick@gmail.com> | 2012-05-15 16:34:57 -0700 |
| commit | f8079cd04131f5d742d8fc2682e57d7e18d06825 (patch) | |
| tree | b51583193595a398283e202a566816c3056adb62 /doc | |
| parent | cb45deedabc8c5729b7bdcfdf4ce8981c80d99fe (diff) | |
added an initial html template for use with pandoc and the getting started / install guides
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual_src/template.html | 91 |
1 files changed, 91 insertions, 0 deletions
diff --git a/doc/manual_src/template.html b/doc/manual_src/template.html new file mode 100644 index 0000000..161b998 --- /dev/null +++ b/doc/manual_src/template.html @@ -0,0 +1,91 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<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" /> + <meta http-equiv="Content-Style-Type" content="text/css" /> + <meta name="generator" content="pandoc" /> +$for(author-meta)$ + <meta name="author" content="$author-meta$" /> +$endfor$ +$if(date-meta)$ + <meta name="date" content="$date-meta$" /> +$endif$ + <title>$if(title-prefix)$$title-prefix$ - $endif$$if(pagetitle)$$pagetitle$$endif$</title> +$if(highlighting-css)$ + <style type="text/css"> +$highlighting-css$ + </style> +$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" /> +$if(math)$ + $math$ +$endif$ +$for(header-includes)$ + $header-includes$ +$endfor$ +</head> +<body> +<div id="canvasWrapper"> + <div id="canvas"> + + <!-- 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) --> + +<!-- PAGE BODY --> +<div id="pageBodyWrapper"> <div id="pageBody"> + +<div id="contentWrapper"> <div id="content"> +$for(include-before)$ +$include-before$ +$endfor$ +$if(title)$ +<div id="$idprefix$header"> +<h1 class="title">$title$</h1> +$for(author)$ +<h2 class="author">$author$</h2> +$endfor$ +$if(date)$ +<h3 class="date">$date$</h3> +$endif$ +</div> +$endif$ +$if(toc)$ +<div id="$idprefix$TOC"> +$toc$ +</div> +$endif$ +$body$ +$for(include-after)$ +$include-after$ +$endfor$ + + +</div> </div> <!-- Content (and wrapper) --> +</div> </div> <!-- Page Body (and wrapper) --> + +<!-- 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 --> + +<div class="clearer" id="bodyClearer"></div> +</body> +</html> |