initial commit

2017-01-17 12:06:01 +01:00
commit 4536498c46
21 changed files with 2619 additions and 0 deletions
--- a/docs/css/extra.css
+++ b/docs/css/extra.css
@ -0,0 +1,21 @@
+div.col-md-9 h1:first-of-type {
+    text-align: center;
+    font-size: 60px;
+    font-weight: 300;
+}
+
+div.col-md-9 p:first-of-type {
+    text-align: center;
+}
+
+div.col-md-9 p.admonition-title:first-of-type {
+    text-align: left;
+}
+
+div.col-md-9 h1:first-of-type .headerlink {
+    display: none;
+}
+
+code.no-highlight {
+    color: black;
+}