Update the introduction section of the docs

2023-10-08 18:50:33 +02:00
parent 976f73c41c
commit a3fdb3cfc4
9 changed files with 124 additions and 173 deletions
@@ -35,7 +35,7 @@ os.environ["TZ"] = "Europe/Oslo"
 time.tzset()

 needs_sphinx = "5.0"
-extensions = []
+extensions = ["sphinx_design"]
 templates_path = ["_templates"]
 source_suffix = ".rst"
 master_doc = "index"