blob: 9aae1ded1757d029a717d240314950b724781e02 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
<!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" />
<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="reset.css" media="all">
<link rel="stylesheet" type="text/css" href="style.css" media="all">
$if(math)$
$math$
$endif$
$for(header-includes)$
$header-includes$
$endfor$
</head>
<body class="interior">
<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">
<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><!-- /.wrap -->
</section><!-- /#content -->
<footer>
<div class="wrap">
<nav id="footer-nav">
<ul>
<li><a href="http://corp.galois.com/contact/">Contact</a></li>
</ul>
</nav>
<p>Copyright © 2012 Galois, Inc. All rights reserved.</p>
</div><!-- /.wrap -->
</footer>
</body>
</html>
|
