diff options
Diffstat (limited to 'doc/manual_src/galois-github-header.txt')
| -rw-r--r-- | doc/manual_src/galois-github-header.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/manual_src/galois-github-header.txt b/doc/manual_src/galois-github-header.txt index 76b6bb2..3a77f8b 100644 --- a/doc/manual_src/galois-github-header.txt +++ b/doc/manual_src/galois-github-header.txt @@ -1,3 +1,11 @@ + <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" /> + <title>Install Guide</title> + + <link rel="stylesheet" type="text/css" href="../../reset.css" media="all"> + <link rel="stylesheet" type="text/css" href="../../style.css" media="all"> + <style type="text/css"> #siteTitle { display: block; |