add extended documentation of settings

2021-10-14 14:36:09 +02:00
parent 91e1c1bea8
commit f4acfed48f
3 changed files with 626 additions and 7 deletions
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -48,6 +48,7 @@ pages:
 markdown_extensions:
    - codehilite
    - admonition
+    - def_list
    - toc:
        permalink: 
 extra_css: [extra.css, styles.css]