chore: Add website to main repo

2020-12-24 11:31:58 +01:00 · 2020-12-24 11:31:58 +01:00 · 9d0cd2d155
commit 9d0cd2d155
parent 92d2c7e982
224 changed files with 17459 additions and 3 deletions
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@ -0,0 +1,25 @@
+<!DOCTYPE html>
+<html lang="{{ page.lang }}">
+<head>
+    <script>
+    var languages = new Array();
+    {% for language in site.languages %}
+    languages.push("{{language}}");
+    {% endfor %}
+    </script>
+    {% include head.html %}
+</head>
+<body>
+    {% include navigation.html %}
+
+    <div id="content">
+        {% if page.title == "Official Website" %}<img src="{{site.assets}}/images/banner.png" id="banner" />{% endif %}
+
+        <div class="container">
+            {{ content }}
+        </div>
+    </div>
+
+    {% include footer.html %}
+</body>
+</html>