Doco: use Galois' github style sheet in pandoc-generated html

11 files changed, 377 insertions, 1 deletions

diff --git a/doc/manual_src/Makefile b/doc/manual_src/Makefile
index 76fdbda..31f4f4e 100644
--- a/doc/manual_src/Makefile
+++ b/doc/manual_src/Makefile
@@ -1,4 +1,12 @@
 
+LIBDIR=.
+#LIBDIR=../../../FiveUI-github
+HEADER=$(LIBDIR)/galois-github-header.txt
+BEFORE_BODY=$(LIBDIR)/galois-github-before-body.txt
+AFTER_BODY=$(LIBDIR)/galois-github-after-body.txt
+CSS=$(LIBDIR)/galois-github.css
+HTML5=-t html5
+
 DOCS := $(patsubst %.md,%.html,$(wildcard *.md))
 
 all: $(DOCS)
@@ -7,4 +15,5 @@ clean:
 	$(RM) $(DOCS)
 
 %.html: %.md
-	pandoc $< -o $@ -s --highlight-style=kate
+	pandoc $< -o $@ -s --highlight-style=kate -H $(HEADER) -B $(BEFORE_BODY) -A $(AFTER_BODY) -c $(CSS) $(HTML5)
+
diff --git a/doc/manual_src/css-images/5ive_favicon.ico b/doc/manual_src/css-images/5ive_favicon.ico
new file mode 100644
index 0000000..d69f35f
--- /dev/null
+++ b/doc/manual_src/css-images/5ive_favicon.ico
diff --git a/doc/manual_src/css-images/5ive_logo.svg b/doc/manual_src/css-images/5ive_logo.svg
new file mode 100644
index 0000000..f772669
--- /dev/null
+++ b/doc/manual_src/css-images/5ive_logo.svg
@@ -0,0 +1,132 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   viewBox="0 0 362.734 411.38"
+   id="svg5476"
+   version="1.1"
+   inkscape:version="0.48.1 r9760"
+   width="100%"
+   height="100%"
+   sodipodi:docname="5ive_logo.svg">
+  <metadata
+     id="metadata5504">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title>HTML5 Logo</dc:title>
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <defs
+     id="defs5502" />
+  <sodipodi:namedview
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1"
+     objecttolerance="10"
+     gridtolerance="10"
+     guidetolerance="10"
+     inkscape:pageopacity="0"
+     inkscape:pageshadow="2"
+     inkscape:window-width="1278"
+     inkscape:window-height="770"
+     id="namedview5500"
+     showgrid="false"
+     inkscape:zoom="1.1601562"
+     inkscape:cx="126.93178"
+     inkscape:cy="215.29057"
+     inkscape:window-x="0"
+     inkscape:window-y="28"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="layer9"
+     fit-margin-top="0"
+     fit-margin-left="0"
+     fit-margin-right="0"
+     fit-margin-bottom="0" />
+  <title
+     id="title5478">HTML5 Logo</title>
+  <g
+     inkscape:groupmode="layer"
+     id="layer7"
+     inkscape:label="bw"
+     sodipodi:insensitive="true">
+    <g
+       id="g7298"
+       transform="translate(-226.73129,102.39477)">
+      <polygon
+         transform="translate(153.5791,-200.89534)"
+         style="fill:#231f20;fill-opacity:1"
+         id="polygon5480-3"
+         points="437.367,100.62 404.321,470.819 255.778,512 107.644,470.877 74.633,100.62 " />
+      <polygon
+         transform="translate(153.57911,-200.89534)"
+         style="opacity:0.8;fill:#ffffff;fill-opacity:1"
+         id="polygon5482-6-5"
+         points="404.27,130.894 256,130.894 256,480.523 376.03,447.246 " />
+      <polygon
+         transform="translate(153.5791,-200.89534)"
+         style="opacity:0.8;fill:#231f20;fill-opacity:1"
+         id="polygon5482-6"
+         points="376.03,447.246 404.27,130.894 256,130.894 256,480.523 " />
+    </g>
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer8"
+     inkscape:label="color"
+     sodipodi:insensitive="true"
+     style="display:inline">
+    <polygon
+       points="255.778,512 107.644,470.877 74.633,100.62 437.367,100.62 404.321,470.819 "
+       id="polygon5480"
+       style="fill:#e44d26"
+       transform="translate(-73.15219,-98.500573)" />
+    <polygon
+       points="256,480.523 376.03,447.246 404.27,130.894 256,130.894 "
+       id="polygon5482"
+       style="fill:#f16529"
+       transform="translate(-73.15219,-98.500573)" />
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer9"
+     inkscape:label="Check"
+     sodipodi:insensitive="true">
+    <g
+       transform="translate(-0.14587696,27.751066)"
+       id="g7334">
+      <path
+         transform="matrix(0.5749675,0.81817625,-0.81817625,0.5749675,0,0)"
+         style="fill:#ebebeb;fill-opacity:1"
+         inkscape:transform-center-x="6.0160492"
+         inkscape:transform-center-y="-49.774056"
+         d="m 221.47473,-28.839314 104.97163,0 12.60982,34.4416683 5.21215,13.0998557 -122.7936,-0.134129 z"
+         id="rect5527-2"
+         inkscape:connector-curvature="0"
+         sodipodi:nodetypes="cccccc" />
+      <path
+         inkscape:transform-center-y="-97.695775"
+         inkscape:transform-center-x="-49.038965"
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="rect5527"
+         d="M 182.73112,275.11224 182.53968,209.82323 281.88992,62.819061 321.56404,88.769521 182.64808,292.41778 z"
+         style="fill:#ffffff" />
+      <path
+         sodipodi:nodetypes="ccccc"
+         inkscape:connector-curvature="0"
+         id="rect5527-2-6"
+         d="m 164.32165,184.20618 -38.71464,57.77115 -29.69412,-36.35255 40.23837,-63.1042 z"
+         style="fill:#ebebeb;fill-opacity:1" />
+    </g>
+  </g>
+</svg>
diff --git a/doc/manual_src/css-images/galois_logo.png b/doc/manual_src/css-images/galois_logo.png
new file mode 100644
index 0000000..69dd4fc
--- /dev/null
+++ b/doc/manual_src/css-images/galois_logo.png
diff --git a/doc/manual_src/css-images/logo.png b/doc/manual_src/css-images/logo.png
new file mode 100644
index 0000000..69dd4fc
--- /dev/null
+++ b/doc/manual_src/css-images/logo.png
diff --git a/doc/manual_src/css-images/pageWrapperBottom.png b/doc/manual_src/css-images/pageWrapperBottom.png
new file mode 100644
index 0000000..a0fc9fe
--- /dev/null
+++ b/doc/manual_src/css-images/pageWrapperBottom.png
diff --git a/doc/manual_src/css-images/pageWrapperTop.png b/doc/manual_src/css-images/pageWrapperTop.png
new file mode 100644
index 0000000..3a68df9
--- /dev/null
+++ b/doc/manual_src/css-images/pageWrapperTop.png
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>
+
diff --git a/doc/manual_src/galois-github-before-body.txt b/doc/manual_src/galois-github-before-body.txt
new file mode 100644
index 0000000..ec0ae37
--- /dev/null
+++ b/doc/manual_src/galois-github-before-body.txt
@@ -0,0 +1,21 @@
+<div id="canvasWrapper"> <div id="canvas">
+
+<!-- PAGE HEADER -->
+<div id="pageHeaderWrapper"> <div id="pageHeader">
+<br class="clearer">
+<div id="navigationTop">
+  <a href="https://github.com/GaloisInc/FiveUI">
+  <img id="forkme"
+       src="http://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png"
+       alt="Fork me on GitHub" />
+  </a>
+</div>
+<div id="bannerAreaWrapper"> <div id="bannerArea"> <div id="siteTitleWrapper">
+  <div id="siteTitle"> <a href="https://github.com/GaloisInc/FiveUI/">FiveUI @ Galois' Github</a> </div>
+</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">
+
diff --git a/doc/manual_src/galois-github-header.txt b/doc/manual_src/galois-github-header.txt
new file mode 100644
index 0000000..2acbc96
--- /dev/null
+++ b/doc/manual_src/galois-github-header.txt
@@ -0,0 +1,24 @@
+  <style type="text/css">
+  #siteTitle {
+    display: block;
+    height: 100px;
+    background: url('css-images/5ive_logo.svg') no-repeat 0px 0px;
+    text-indent: -9999em;
+    margin-bottom: 1em;
+    cursor: pointer;
+  }
+  h1.title {
+    display: none;
+  }
+  </style>
+  <script type="text/javascript">
+  var _gaq = _gaq || [];
+  _gaq.push(['_setAccount', 'UA-30497318-1']);
+  _gaq.push(['_trackPageview']);
+
+  (function() {
+    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
+    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
+    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
+  })();
+  </script>
diff --git a/doc/manual_src/galois-github.css b/doc/manual_src/galois-github.css
new file mode 100644
index 0000000..38e909a
--- /dev/null
+++ b/doc/manual_src/galois-github.css
@@ -0,0 +1,179 @@
+
+#siteTitle, #pageFooterWrapper, #pageBodyWrapper { clear: both; }
+#canvasWrapper, #content { overflow: hidden; }
+#bannerWrapper { line-height: 0; }
+
+body {
+  background-color: transparent;
+  color: black;
+  display: block;
+  float: right;
+  font-family: 'Lucida Sans Unicode', 'Lucida Grande', Tahoma, sans-serif;
+  font-size: 18px;
+  height: 100%;
+  width: 100%;
+  font-weight: normal;
+  margin-top: auto;
+  margin-bottom: auto;
+  margin-left: auto;
+  margin-right: auto;
+}
+h1 {
+  font-size: 36px;
+}
+h2 {
+  font-size: 28px;
+}
+h1 .small {
+  font-size: 0.4em;
+}
+h1 a {
+  text-decoration: none
+}
+h1, h2, h3, h4, h5, h6 {
+  color: #4D7FAA;
+  line-height: 1.25em;
+  font-weight: 500 !important;
+  margin-top: 0.5em;
+  margin-bottom: 0.25em;
+  margin-right: 0px;
+  margin-left: 0px;
+}
+a {
+  color: #385D7C !important;
+}
+a:link, a:visited, a:active {
+  color: #D73F27;
+}
+#canvasWrapper {
+  width: 100% !important;
+  padding-top: 0px !important;
+  padding-right: 0px !important;
+  padding-bottom: 0px !important;
+  padding-left: 0px !important;
+  background-color: white;
+}
+#canvas {
+  width: 100%;
+}
+#siteTitle {
+  display: block;
+  width: 200px;
+  height: 51px;
+  background: url('css-images/galois_logo.png') no-repeat 0px 0px;
+  text-indent: -9999em;
+  margin-bottom: 1em;
+  cursor: pointer;
+}
+#pageHeaderWrapper {
+  background: #A0BFD3;
+  padding-bottom: 2.75em;
+  padding-left: 0px;
+  padding-right: 0px;
+  padding-top: 0px;
+}
+#pageHeader {
+  width: 980px;
+  margin: 0 auto;
+  line-height: 24px;
+  padding: 1px 0 25px !important;
+}
+#pageBodyWrapper {
+  margin-top: -2.5em;
+  margin-right: auto;
+  margin-bottom: -3em;
+  margin-left: auto;
+  background: transparent url('css-images/pageWrapperBottom.png') no-repeat center bottom;
+  position: relative;
+  z-index: 100;
+}
+#pageBody {
+  padding-top: 20px;
+  padding-right: 10px;
+  padding-bottom: 20px;
+  padding-left: 10px;
+  width: 960px;
+  padding:20px 10px;
+  margin:0 auto 0;
+  background: transparent url('css-images/pageWrapperTop.png') no-repeat center top;
+  position: relative;
+}
+#pageFooterWrapper {
+  background-color: #A0BFD3;
+  width: 100%;
+}
+#pageFooter {
+  color: white;
+  font-size: 13px;
+  margin: 10px auto 0px;
+  padding: 60px;
+  width: 960px;
+  text-align: right;
+  background: url('css-images/galois_logo.png') no-repeat left center;
+  background-origin: content-box;
+  cursor: pointer;
+}
+#forkme {
+  position: absolute;
+  top: 0;
+  right: 0;
+  border: 0;
+}
+pre {
+  background: #FFFFCC;
+  color: black;
+  margin-left: 5%;
+  margin-right: 5%;
+  padding-bottom: 15px;
+  padding-left: 15px;
+  padding-right: 15px;
+  padding-top: 15px;
+}
+.description {
+  font-size: 1.2em;
+  margin-bottom: 30px;
+  margin-top: 30px;
+  font-style: italic;
+}
+.download {
+  float: right;
+  padding-right: 1.5em;
+}
+hr {
+  border: 0;
+  width: 80%;
+  border-bottom: 1px solid #AAAAAA;
+}
+#contentWrapper {
+  margin-top: 0px;
+  margin-right: 0px;
+  margin-bottom: 0px;
+  margin-left: 2em;
+}
+#content {
+  padding-bottom: 2em;
+}
+li {
+  margin-top: .4em;
+  margin-bottom: .4em;
+}
+img {
+  border: 0px;
+}
+#content .callout.yellow {
+  border-color: #BC9826;
+  background-color: #FDD280;
+  text-align: center;
+  font-style: italic;
+  font-size: 16px;
+
+}
+#content .callout {
+  border-top: 3px solid #F7BE56;
+  border-bottom: 3px solid #F7BE56;
+  padding: 1.75em 1em 1.5em;
+  margin-top: 1.5em;
+  margin-bottom: 1.5em;
+  background-color: #EFEFEF;
+  border-color: #F7BE56;
+}