new docs (#525)

* new docs * moves development docs to dev_docs
2026-10-05 07:08:11 +08:00 · 2018-12-20 14:28:05 -08:00
parent 56f9bc543e
commit bc59074300
9 changed files with 68 additions and 4 deletions
@@ -1 +1,8 @@
-theme: jekyll-theme-minimal
+theme: jekyll-theme-cayman
+show_downloads: false
+
+nav:
+  - title: Data
+    url: data.html
+  - title: FAQ
+    url: faq.html