diff options
| author |  Rogan Creswick <creswick@gmail.com> | 2013-02-08 15:59:24 -0800 |
|---|---|---|
| committer | Rogan Creswick <creswick@gmail.com> | 2013-02-08 15:59:24 -0800 |
| commit | 5c2d1ab77ede90cc162c6d10bc4ca7a69e8fa38f (patch) | |
| tree | a23302490f8829ef8c94730708a0498169197e0d /doc | |
| parent | 89b73a80ae06663e0fa78b62d685e7b4286fa2a3 (diff) | |
fixed email address, tweaked file paths in templates
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.html | 2 | ||||
| -rw-r--r-- | doc/manual_src/template.html | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/index.html b/doc/index.html index afef551..85cab9f 100644 --- a/doc/index.html +++ b/doc/index.html @@ -77,7 +77,7 @@ <ul> <li>Rogan Creswick <br /><a href="mailto:creswick@galois.com">creswick@galois.com</a></li> <li>Trevor Elliott</li> - <li>Ben Jones</li> + <li>Benjamin Jones <br /><a href="mailto:bjones@galois.com">bjones@galois.com</a></li> </ul> </article><!-- /.column --> </div><!-- /.wrap --> diff --git a/doc/manual_src/template.html b/doc/manual_src/template.html index 9aae1de..3b071c7 100644 --- a/doc/manual_src/template.html +++ b/doc/manual_src/template.html @@ -19,8 +19,8 @@ $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"> + <link rel="stylesheet" type="text/css" href="../css/reset.css" media="all"> + <link rel="stylesheet" type="text/css" href="../css/style.css" media="all"> $if(math)$ $math$ $endif$ @@ -33,7 +33,7 @@ $endfor$ <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> + title="Galois Open Source"><img src="../images/logo.png" alt="Galois" /></a> <h2>Open Source</h2> <nav id="primary"> <ul> |