25 files changed, 658 insertions, 0 deletions
diff --git a/docs/README.md b/docs/README.md
new file mode 100644
index 0000000..55e55b0
--- /dev/null
+++ b/docs/README.md
@@ -0,0 +1,6 @@
+This directory contains the website:
+  http://math-comp.github.io/math-comp/
+What is committed in here goes straight online.
+
+By running make in htmldoc one updates the html files 
+generated by coqdoc and the library graph.
diff --git a/htmldoc/Makefile b/docs/htmldoc/Makefile
index d565125..d565125 100644
--- a/htmldoc/Makefile
+++ b/docs/htmldoc/Makefile
diff --git a/htmldoc/buildlibgraph b/docs/htmldoc/buildlibgraph
index b7b91d0..b7b91d0 100755
--- a/htmldoc/buildlibgraph
+++ b/docs/htmldoc/buildlibgraph
diff --git a/htmldoc/js/cytoscape-dagre.js b/docs/htmldoc/js/cytoscape-dagre.js
index c93288b..c93288b 100644
--- a/htmldoc/js/cytoscape-dagre.js
+++ b/docs/htmldoc/js/cytoscape-dagre.js
diff --git a/htmldoc/js/cytoscape-panzoom.js b/docs/htmldoc/js/cytoscape-panzoom.js
index 4680775..4680775 100644
--- a/htmldoc/js/cytoscape-panzoom.js
+++ b/docs/htmldoc/js/cytoscape-panzoom.js
diff --git a/htmldoc/js/cytoscape-qtip.js b/docs/htmldoc/js/cytoscape-qtip.js
index 43ad8b9..43ad8b9 100644
--- a/htmldoc/js/cytoscape-qtip.js
+++ b/docs/htmldoc/js/cytoscape-qtip.js
diff --git a/htmldoc/js/cytoscape.js b/docs/htmldoc/js/cytoscape.js
index 601e6db..601e6db 100644
--- a/htmldoc/js/cytoscape.js
+++ b/docs/htmldoc/js/cytoscape.js
diff --git a/htmldoc/js/cytoscape.js-panzoom.css b/docs/htmldoc/js/cytoscape.js-panzoom.css
index 46d9a36..46d9a36 100644
--- a/htmldoc/js/cytoscape.js-panzoom.css
+++ b/docs/htmldoc/js/cytoscape.js-panzoom.css
diff --git a/htmldoc/js/cytoscape.min.js b/docs/htmldoc/js/cytoscape.min.js
index a498936..a498936 100644
--- a/htmldoc/js/cytoscape.min.js
+++ b/docs/htmldoc/js/cytoscape.min.js
diff --git a/htmldoc/js/dagre.js b/docs/htmldoc/js/dagre.js
index 830997b..830997b 100644
--- a/htmldoc/js/dagre.js
+++ b/docs/htmldoc/js/dagre.js
diff --git a/htmldoc/js/dagre.min.js b/docs/htmldoc/js/dagre.min.js
index b7a9bbc..b7a9bbc 100644
--- a/htmldoc/js/dagre.min.js
+++ b/docs/htmldoc/js/dagre.min.js
diff --git a/htmldoc/js/jquery-2.0.3.js b/docs/htmldoc/js/jquery-2.0.3.js
index ebc6c18..ebc6c18 100644
--- a/htmldoc/js/jquery-2.0.3.js
+++ b/docs/htmldoc/js/jquery-2.0.3.js
diff --git a/htmldoc/js/jquery-2.0.3.min.js b/docs/htmldoc/js/jquery-2.0.3.min.js
index 2be209d..2be209d 100644
--- a/htmldoc/js/jquery-2.0.3.min.js
+++ b/docs/htmldoc/js/jquery-2.0.3.min.js
diff --git a/htmldoc/js/jquery.qtip.css b/docs/htmldoc/js/jquery.qtip.css
index c2dcb30..c2dcb30 100644
--- a/htmldoc/js/jquery.qtip.css
+++ b/docs/htmldoc/js/jquery.qtip.css
diff --git a/htmldoc/js/jquery.qtip.js b/docs/htmldoc/js/jquery.qtip.js
index 52443c0..52443c0 100644
--- a/htmldoc/js/jquery.qtip.js
+++ b/docs/htmldoc/js/jquery.qtip.js
diff --git a/htmldoc/js/jquery.qtip.min.css b/docs/htmldoc/js/jquery.qtip.min.css
index fc172a4..fc172a4 100644
--- a/htmldoc/js/jquery.qtip.min.css
+++ b/docs/htmldoc/js/jquery.qtip.min.css
diff --git a/htmldoc/js/jquery.qtip.min.js b/docs/htmldoc/js/jquery.qtip.min.js
index 3ae7bbe..3ae7bbe 100644
--- a/htmldoc/js/jquery.qtip.min.js
+++ b/docs/htmldoc/js/jquery.qtip.min.js
diff --git a/htmldoc/libgraph.html b/docs/htmldoc/libgraph.html
index dbcda1f..dbcda1f 100644
--- a/htmldoc/libgraph.html
+++ b/docs/htmldoc/libgraph.html
diff --git a/docs/index.html b/docs/index.html
new file mode 100644
index 0000000..c1c0909
--- /dev/null
+++ b/docs/index.html
@@ -0,0 +1,106 @@
+<!doctype html>
+<html>
+  <head>
+    <meta charset="utf-8">
+    <meta http-equiv="X-UA-Compatible" content="chrome=1">
+    <title>Mathematical Components</title>
+
+    <link rel="stylesheet" href="stylesheets/styles.css">
+    <link rel="stylesheet" href="stylesheets/github-light.css">
+    <meta name="viewport" content="width=device-width">
+    <!--[if lt IE 9]>
+    <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
+    <![endif]-->
+  </head>
+  <body>
+    <div class="wrapper">
+      <header>
+        <h1>Mathematical Components</h1>
+        <p> Libraries of formalized mathematics</p>
+
+        <p class="view"><a href="https://github.com/math-comp/math-comp">View the Project on GitHub <small>math-comp/math-comp</small></a></p>
+
+
+        <!-- <ul> -->
+          <!-- <li><a href="https://github.com/math-comp/math-comp/zipball/master">Download <strong>ZIP File</strong></a></li> -->
+          <!-- <li><a href="https://github.com/math-comp/math-comp/tarball/master">Download <strong>TAR Ball</strong></a></li> -->
+        <!--   <li><a href="https://github.com/math-comp/math-comp">View On <strong>GitHub</strong></a></li> -->
+        <!-- </ul> -->
+      </header>
+
+      <section>
+        <h3>
+<a id="about" class="anchor" href="#about" aria-hidden="true"><span class="octicon octicon-link"></span></a>About</h3>
+
+<p> The Mathematical Components library for 
+ <a href="http://www.coq.inria.fr">Coq</a> has its origins in
+the formal proof of the Four Colour Theorem.  Since then it has grown
+to cover many areas of mathematics and has been used for 
+large scale projects like the formal proof of the Odd Order Theorem.
+</p><p>
+The library is written using the Ssreflect proof language that is an integral
+part of the distribution.
+</p>
+
+<h3>
+<a id="releases" class="anchor" href="#releases" aria-hidden="true"><span class="octicon octicon-link"></span></a>Getting the library</h3>
+
+<p> The current stable release of the
+Mathematical Components library can be 
+<a href="https://github.com/math-comp/math-comp/releases">downloaded from github</a>.
+<br/>
+Older versions of the library are available
+in the <a href="http://ssr.msr-inria.inria.fr/FTP/">historic archive</a>.
+</p>
+
+<h3>
+<a id="documentation" class="anchor" href="#documentation" aria-hidden="true"><span class="octicon octicon-link"></span></a>Documentation</h3>
+
+<p>
+Each source files features a documentation header which
+describes the concepts and notations introduced in that file.
+The <a href="htmldoc/index.html">coqdoc presentation</a> of the source files can be browsed online.
+</p>
+<p>
+The <a href="htmldoc/libgraph.html">library graph</a> can be browsed interactively.
+</p>
+<p>
+The Ssreflect language comes with a dedicated
+<a href="http://hal.inria.fr/inria-00258384/en">reference manual</a>.
+</p>
+<p>We also wrote a <a href="https://math-comp.github.io/mcb/">book</a> introducing the techniques for writing 
+algorithms and proofs and describing the design ideas of the library.
+</p>
+<h3>
+<a id="contact" class="anchor" href="#contact" aria-hidden="true"><span class="octicon octicon-link"></span></a>Contact</h3>
+
+<p>
+Interested?
+<a href="mailto:sympa@inria.fr?subject=SUBSCRIBE%20ssreflect">Subscribe to the ssreflect mailing list</a>
+and let us know what you are using our libraries for, ask questions, etc.
+You can also browse the <a href="https://sympa.inria.fr/sympa/arc/ssreflect">archives of the list</a> or consult the
+<a href="https://sympa.inria.fr/sympa/info/ssreflect">general information page</a>.
+</p>
+<h3>
+<a id="authors-and-contributors" class="anchor" href="#authors-and-contributors" aria-hidden="true"><span class="octicon octicon-link"></span></a>Authors and Contributors</h3>
+
+<p> The Mathematical Components library and the Ssreflect proof language
+are developed by the
+<a href="http://www.msr-inria.fr/projects/mathematical-components-2/">Mathematical Components team</a>, at the
+<a href="http://www.msr-inria.fr/">Inria -- Microsoft Research Joint Centre</a>.
+</p>
+        <p style="text-align:center;">
+	<a href="http://www.msr-inria.fr/"><img src="./logo-MS-Research-Inria-Joint-Centre.png" alt="Microsoft Research - Inria Joint Centre" style="width:50%;margin-left:auto;margin-right:auto;"/></a>
+	</p>
+
+      </section>
+
+      <footer>
+        <p><small>Theme by <a href="https://github.com/orderedlist">orderedlist</a></small></p>
+      </footer>
+
+    </div>
+    <script src="javascripts/scale.fix.js"></script>
+
+  </body>
+</html>
diff --git a/docs/javascripts/scale.fix.js b/docs/javascripts/scale.fix.js
new file mode 100644
index 0000000..87a40ca
--- /dev/null
+++ b/docs/javascripts/scale.fix.js
@@ -0,0 +1,17 @@
+var metas = document.getElementsByTagName('meta');
+var i;
+if (navigator.userAgent.match(/iPhone/i)) {
+  for (i=0; i<metas.length; i++) {
+    if (metas[i].name == "viewport") {
+      metas[i].content = "width=device-width, minimum-scale=1.0, maximum-scale=1.0";
+    }
+  }
+  document.addEventListener("gesturestart", gestureStart, false);
+}
+function gestureStart() {
+  for (i=0; i<metas.length; i++) {
+    if (metas[i].name == "viewport") {
+      metas[i].content = "width=device-width, minimum-scale=0.25, maximum-scale=1.6";
+    }
+  }
+}
+\ No newline at end of file
diff --git a/docs/logo-MS-Research-Inria-Joint-Centre.png b/docs/logo-MS-Research-Inria-Joint-Centre.png
new file mode 100644
index 0000000..0e298ea
--- /dev/null
+++ b/docs/logo-MS-Research-Inria-Joint-Centre.png
diff --git a/docs/oo.html b/docs/oo.html
new file mode 100644
index 0000000..6f90a40
--- /dev/null
+++ b/docs/oo.html
@@ -0,0 +1,88 @@
+<!doctype html>
+<html>
+  <head>
+    <meta charset="utf-8">
+    <meta http-equiv="X-UA-Compatible" content="chrome=1">
+    <title>A Formal Proof of The Odd Order Theorem</title>
+
+    <link rel="stylesheet" href="stylesheets/styles.css">
+    <link rel="stylesheet" href="stylesheets/github-light.css">
+    <meta name="viewport" content="width=device-width">
+    <!--[if lt IE 9]>
+    <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
+    <![endif]-->
+  </head>
+  <body>
+    <div class="wrapper">
+      <header>
+        <h1>A Formal Proof of The Odd Order Theorem</h1>
+        <p> A formalized and machine-checked proof,
+          using the Coq proof assistant</p>
+
+        <p class="view"><a href="https://github.com/math-comp/math-comp">View the Sources on GitHub <small>math-comp/math-comp</small></a></p>
+
+      </header>
+
+      <section>
+        <h3>
+<a id="about" class="anchor" href="#about" aria-hidden="true"><span class="octicon octicon-link"></span></a>About</h3>
+
+
+        <p> Blah blah...
+        </p>
+        <p> TODO : a Q&A page
+
+</p>
+
+<h3>
+<a id="borwsing" class="anchor" href="#releases"
+   aria-hidden="true"><span class="octicon
+                                   octicon-link"></span></a>Browsing
+   the files</h3>
+
+<p> TODO
+</p>
+
+<h3>
+<a id="releases" class="anchor" href="#releases"
+   aria-hidden="true"><span class="octicon
+                                   octicon-link"></span></a>Getting
+   the libraries</h3>
+
+<p>
+TODO
+</p>
+
+<h3>
+<a id="contact" class="anchor" href="#contact" aria-hidden="true"><span class="octicon octicon-link"></span></a>Contact</h3>
+
+<p>
+Any question?
+<a href="mailto:sympa@inria.fr?subject=SUBSCRIBE%20ssreflect">Subscribe to the ssreflect mailing list</a>
+and let us know what you are using our libraries for, ask questions, etc.
+You can also browse the <a href="https://sympa.inria.fr/sympa/arc/ssreflect">archives of the list</a> or consult the
+<a href="https://sympa.inria.fr/sympa/info/ssreflect">general information page</a>.
+</p>
+<h3>
+<a id="authors-and-contributors" class="anchor" href="#authors-and-contributors" aria-hidden="true"><span class="octicon octicon-link"></span></a>Authors and Contributors</h3>
+
+<p> The Odd Order library, the Mathematical Components library and the
+  Ssreflect proof language are developed by the
+<a href="http://www.msr-inria.fr/projects/mathematical-components-2/">Mathematical Components team</a>, at the
+<a href="http://www.msr-inria.fr/">Inria -- Microsoft Research Joint Centre</a>.
+</p>
+        <p style="text-align:center;">
+	<a href="http://www.msr-inria.fr/"><img src="./logo-MS-Research-Inria-Joint-Centre.png" alt="Microsoft Research - Inria Joint Centre" style="width:50%;margin-left:auto;margin-right:auto;"/></a>
+	</p>
+
+      </section>
+
+      <footer>
+        <p><small>Theme by <a href="https://github.com/orderedlist">orderedlist</a></small></p>
+      </footer>
+
+    </div>
+    <script src="javascripts/scale.fix.js"></script>
+
+  </body>
+</html>
diff --git a/docs/params.json b/docs/params.json
new file mode 100644
index 0000000..47288a6
--- /dev/null
+++ b/docs/params.json
@@ -0,0 +1 @@
+{"name":"Math-comp","tagline":"Mathematical Components","body":"### Welcome to GitHub Pages.\r\nThis automatic page generator is the easiest way to create beautiful pages for all of your projects. Author your page content here [using GitHub Flavored Markdown](https://guides.github.com/features/mastering-markdown/), select a template crafted by a designer, and publish. After your page is generated, you can check out the new `gh-pages` branch locally. If you’re using GitHub Desktop, simply sync your repository and you’ll see the new branch.\r\n\r\n### Designer Templates\r\nWe’ve crafted some handsome templates for you to use. Go ahead and click 'Continue to layouts' to browse through them. You can easily go back to edit your page before publishing. After publishing your page, you can revisit the page generator and switch to another theme. Your Page content will be preserved.\r\n\r\n### Creating pages manually\r\nIf you prefer to not use the automatic generator, push a branch named `gh-pages` to your repository to create a page manually. In addition to supporting regular HTML content, GitHub Pages support Jekyll, a simple, blog aware static site generator. Jekyll makes it easy to create site-wide headers and footers without having to copy them across every page. It also offers intelligent blog support and other advanced templating features.\r\n\r\n### Authors and Contributors\r\nYou can @mention a GitHub username to generate a link to their profile. The resulting `<a>` element will link to the contributor’s GitHub Profile. For example: In 2007, Chris Wanstrath (@defunkt), PJ Hyett (@pjhyett), and Tom Preston-Werner (@mojombo) founded GitHub.\r\n\r\n### Support or Contact\r\nHaving trouble with Pages? Check out our [documentation](https://help.github.com/pages) or [contact support](https://github.com/contact) and we’ll help you sort it out.\r\n","google":"","note":"Don't delete this file! It's used internally to help with page regeneration."}
+\ No newline at end of file
diff --git a/docs/stylesheets/github-light.css b/docs/stylesheets/github-light.css
new file mode 100644
index 0000000..872a6f4
--- /dev/null
+++ b/docs/stylesheets/github-light.css
@@ -0,0 +1,116 @@
+/*
+   Copyright 2014 GitHub Inc.
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.
+
+*/
+
+.pl-c /* comment */ {
+  color: #969896;
+}
+
+.pl-c1      /* constant, markup.raw, meta.diff.header, meta.module-reference, meta.property-name, support, support.constant, support.variable, variable.other.constant */,
+.pl-s .pl-v /* string variable */ {
+  color: #0086b3;
+}
+
+.pl-e  /* entity */,
+.pl-en /* entity.name */ {
+  color: #795da3;
+}
+
+.pl-s .pl-s1 /* string source */,
+.pl-smi      /* storage.modifier.import, storage.modifier.package, storage.type.java, variable.other, variable.parameter.function */ {
+  color: #333;
+}
+
+.pl-ent /* entity.name.tag */ {
+  color: #63a35c;
+}
+
+.pl-k /* keyword, storage, storage.type */ {
+  color: #a71d5d;
+}
+
+.pl-pds              /* punctuation.definition.string, string.regexp.character-class */,
+.pl-s                /* string */,
+.pl-s .pl-pse .pl-s1 /* string punctuation.section.embedded source */,
+.pl-sr               /* string.regexp */,
+.pl-sr .pl-cce       /* string.regexp constant.character.escape */,
+.pl-sr .pl-sra       /* string.regexp string.regexp.arbitrary-repitition */,
+.pl-sr .pl-sre       /* string.regexp source.ruby.embedded */ {
+  color: #183691;
+}
+
+.pl-v /* variable */ {
+  color: #ed6a43;
+}
+
+.pl-id /* invalid.deprecated */ {
+  color: #b52a1d;
+}
+
+.pl-ii /* invalid.illegal */ {
+  background-color: #b52a1d;
+  color: #f8f8f8;
+}
+
+.pl-sr .pl-cce /* string.regexp constant.character.escape */ {
+  color: #63a35c;
+  font-weight: bold;
+}
+
+.pl-ml /* markup.list */ {
+  color: #693a17;
+}
+
+.pl-mh        /* markup.heading */,
+.pl-mh .pl-en /* markup.heading entity.name */,
+.pl-ms        /* meta.separator */ {
+  color: #1d3e81;
+  font-weight: bold;
+}
+
+.pl-mq /* markup.quote */ {
+  color: #008080;
+}
+
+.pl-mi /* markup.italic */ {
+  color: #333;
+  font-style: italic;
+}
+
+.pl-mb /* markup.bold */ {
+  color: #333;
+  font-weight: bold;
+}
+
+.pl-md /* markup.deleted, meta.diff.header.from-file */ {
+  background-color: #ffecec;
+  color: #bd2c00;
+}
+
+.pl-mi1 /* markup.inserted, meta.diff.header.to-file */ {
+  background-color: #eaffea;
+  color: #55a532;
+}
+
+.pl-mdr /* meta.diff.range */ {
+  color: #795da3;
+  font-weight: bold;
+}
+
+.pl-mo /* meta.output */ {
+  color: #1d3e81;
+}
+
diff --git a/docs/stylesheets/styles.css b/docs/stylesheets/styles.css
new file mode 100644
index 0000000..811e3d2
--- /dev/null
+++ b/docs/stylesheets/styles.css
@@ -0,0 +1,324 @@
+@font-face {
+  font-family: 'Noto Sans';
+  font-weight: 400;
+  font-style: normal;
+  src: url('../fonts/Noto-Sans-regular/Noto-Sans-regular.eot');
+  src: url('../fonts/Noto-Sans-regular/Noto-Sans-regular.eot?#iefix') format('embedded-opentype'),
+       local('Noto Sans'),
+       local('Noto-Sans-regular'),
+       url('../fonts/Noto-Sans-regular/Noto-Sans-regular.woff2') format('woff2'),
+       url('../fonts/Noto-Sans-regular/Noto-Sans-regular.woff') format('woff'),
+       url('../fonts/Noto-Sans-regular/Noto-Sans-regular.ttf') format('truetype'),
+       url('../fonts/Noto-Sans-regular/Noto-Sans-regular.svg#NotoSans') format('svg');
+}
+
+@font-face {
+  font-family: 'Noto Sans';
+  font-weight: 700;
+  font-style: normal;
+  src: url('../fonts/Noto-Sans-700/Noto-Sans-700.eot');
+  src: url('../fonts/Noto-Sans-700/Noto-Sans-700.eot?#iefix') format('embedded-opentype'),
+       local('Noto Sans Bold'),
+       local('Noto-Sans-700'),
+       url('../fonts/Noto-Sans-700/Noto-Sans-700.woff2') format('woff2'),
+       url('../fonts/Noto-Sans-700/Noto-Sans-700.woff') format('woff'),
+       url('../fonts/Noto-Sans-700/Noto-Sans-700.ttf') format('truetype'),
+       url('../fonts/Noto-Sans-700/Noto-Sans-700.svg#NotoSans') format('svg');
+}
+
+@font-face {
+  font-family: 'Noto Sans';
+  font-weight: 400;
+  font-style: italic;
+  src: url('../fonts/Noto-Sans-italic/Noto-Sans-italic.eot');
+  src: url('../fonts/Noto-Sans-italic/Noto-Sans-italic.eot?#iefix') format('embedded-opentype'),
+       local('Noto Sans Italic'),
+       local('Noto-Sans-italic'),
+       url('../fonts/Noto-Sans-italic/Noto-Sans-italic.woff2') format('woff2'),
+       url('../fonts/Noto-Sans-italic/Noto-Sans-italic.woff') format('woff'),
+       url('../fonts/Noto-Sans-italic/Noto-Sans-italic.ttf') format('truetype'),
+       url('../fonts/Noto-Sans-italic/Noto-Sans-italic.svg#NotoSans') format('svg');
+}
+
+@font-face {
+  font-family: 'Noto Sans';
+  font-weight: 700;
+  font-style: italic;
+  src: url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.eot');
+  src: url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.eot?#iefix') format('embedded-opentype'),
+       local('Noto Sans Bold Italic'),
+       local('Noto-Sans-700italic'),
+       url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.woff2') format('woff2'),
+       url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.woff') format('woff'),
+       url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.ttf') format('truetype'),
+       url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.svg#NotoSans') format('svg');
+}
+
+body {
+  background-color: #fff;
+  padding:50px;
+  font: 16px/1.5 "Noto Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
+  color:#727272;
+  font-weight:400;
+}
+
+h1, h2, h3, h4, h5, h6 {
+  color:#222;
+  margin:0 0 20px;
+}
+
+p, ul, ol, table, pre, dl {
+  margin:0 0 20px;
+}
+
+h1, h2, h3 {
+  line-height:1.1;
+}
+
+h1 {
+  font-size:28px;
+}
+
+h2 {
+  color:#393939;
+}
+
+h3, h4, h5, h6 {
+  color:#494949;
+}
+
+a {
+  color:#39c;
+  text-decoration:none;
+}
+
+a:hover {
+  color:#069;
+}
+
+a small {
+  font-size:11px;
+  color:#777;
+  margin-top:-0.3em;
+  display:block;
+}
+
+a:hover small {
+  color:#777;
+}
+
+.wrapper {
+  width:860px;
+  margin:0 auto;
+}
+
+blockquote {
+  border-left:1px solid #e5e5e5;
+  margin:0;
+  padding:0 0 0 20px;
+  font-style:italic;
+}
+
+code, pre {
+  font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, Consolas, Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
+  color:#333;
+  font-size:12px;
+}
+
+pre {
+  padding:8px 15px;
+  background: #f8f8f8;
+  border-radius:5px;
+  border:1px solid #e5e5e5;
+  overflow-x: auto;
+}
+
+table {
+  width:100%;
+  border-collapse:collapse;
+}
+
+th, td {
+  text-align:left;
+  padding:5px 10px;
+  border-bottom:1px solid #e5e5e5;
+}
+
+dt {
+  color:#444;
+  font-weight:700;
+}
+
+th {
+  color:#444;
+}
+
+img {
+  max-width:100%;
+}
+
+header {
+  width:270px;
+  float:left;
+  position:fixed;
+  -webkit-font-smoothing:subpixel-antialiased;
+}
+
+header ul {
+  list-style:none;
+  height:40px;
+  padding:0;
+  background: #f4f4f4;
+  border-radius:5px;
+  border:1px solid #e0e0e0;
+  width:270px;
+}
+
+header li {
+  width:89px;
+  float:left;
+  border-right:1px solid #e0e0e0;
+  height:40px;
+}
+
+header li:first-child a {
+  border-radius:5px 0 0 5px;
+}
+
+header li:last-child a {
+  border-radius:0 5px 5px 0;
+}
+
+header ul a {
+  line-height:1;
+  font-size:11px;
+  color:#999;
+  display:block;
+  text-align:center;
+  padding-top:6px;
+  height:34px;
+}
+
+header ul a:hover {
+  color:#999;
+}
+
+header ul a:active {
+  background-color:#f0f0f0;
+}
+
+strong {
+  color:#222;
+  font-weight:700;
+}
+
+header ul li + li + li {
+  border-right:none;
+  width:89px;
+}
+
+header ul a strong {
+  font-size:14px;
+  display:block;
+  color:#222;
+}
+
+section {
+  width:500px;
+  float:right;
+  padding-bottom:50px;
+}
+
+small {
+  font-size:11px;
+}
+
+hr {
+  border:0;
+  background:#e5e5e5;
+  height:1px;
+  margin:0 0 20px;
+}
+
+footer {
+  width:270px;
+  float:left;
+  position:fixed;
+  bottom:50px;
+  -webkit-font-smoothing:subpixel-antialiased;
+}
+
+@media print, screen and (max-width: 960px) {
+
+  div.wrapper {
+    width:auto;
+    margin:0;
+  }
+
+  header, section, footer {
+    float:none;
+    position:static;
+    width:auto;
+  }
+
+  header {
+    padding-right:320px;
+  }
+
+  section {
+    border:1px solid #e5e5e5;
+    border-width:1px 0;
+    padding:20px 0;
+    margin:0 0 20px;
+  }
+
+  header a small {
+    display:inline;
+  }
+
+  header ul {
+    position:absolute;
+    right:50px;
+    top:52px;
+  }
+}
+
+@media print, screen and (max-width: 720px) {
+  body {
+    word-wrap:break-word;
+  }
+
+  header {
+    padding:0;
+  }
+
+  header ul, header p.view {
+    position:static;
+  }
+
+  pre, code {
+    word-wrap:normal;
+  }
+}
+
+@media print, screen and (max-width: 480px) {
+  body {
+    padding:15px;
+  }
+
+  header ul {
+    width:99%;
+  }
+
+  header li, header ul li + li + li {
+    width:33%;
+  }
+}
+
+@media print {
+  body {
+    padding:0.4in;
+    font-size:12pt;
+    color:#444;
+  }
+}