Merge branch 'master' of https://whale.am28.uni-tuebingen.de/git/jgrewe/fishBook

.mkdocs.yml

@@ -12,11 +12,9 @@ markdown_extensions:
     - markdown_include.include
     
 nav:
-    - Home: 'index.md'
-    - User Guide:
-        - 'Configuration': 'configuration.md'
-    - Introduction:
-        - getting started: 'getting_started.md'
-        - database: 'database_layout.md'
-    - TODOs: 'todos.md'
+    - 'index.md'
+    - 'configuration.md'
+    - 'getting_started.md'
+    - 'database_layout.md'
+    - 'todos.md'
     - API reference: 'api/index.html'