Add doc (WIP)

2022-06-13 13:18:31 +02:00
parent f9fd6332d6
commit b1dc94e0e9
6 changed files with 181 additions and 0 deletions
--- a/doc/docs/statics/main.css
+++ b/doc/docs/statics/main.css
@@ -0,0 +1,19 @@
+.wy-nav-side {
+  background-color: #333333;
+}
+.wy-nav-side img.logo {
+  width: 50%;
+  margin-left: 25%;
+  text-align: center;
+}
+
+.wy-side-nav-search {
+  margin-top: 1em;
+  background-color: #555555;
+}
+
+.smile-logo {
+  width: 80%;
+  margin-top: 2em;
+  margin-left: 10%;
+}