Have the github pages source in the same branch.

2017-02-15 17:06:34 +01:00
parent f66dbc3ad4
commit a90780fde2
90 changed files with 13739 additions and 58 deletions
--- a/docs/css/main.css
+++ b/docs/css/main.css
@@ -0,0 +1,25 @@
+body {
+    padding-top: 20px;
+    padding-bottom: 20px;
+}
+
+.container-narrow {
+    margin: 0 auto;
+    max-width: 700px;
+}
+.container-narrow > hr {
+    margin: 30px 0;
+}
+
+.jumbotron {
+    margin: 60px 0;
+    text-align: center;
+}
+.jumbotron h1 {
+    font-size: 72px;
+    line-height: 1;
+}
+.jumbotron .btn {
+    font-size: 21px;
+    padding: 14px 24px;
+}