formatting

joneugster · joneugster · commit f2f3530a74e3 · 2025-03-07T17:43:25.000+01:00
diff --git a/doc/Development.md b/doc/Development.md
@@ -1,7 +1,7 @@
 - [Back to README](../README.md)
-  - [User Manual](./Usage.md)
-  - [Installation](./Installation.md)
-  - Development
+- [User Manual](./Usage.md)
+- [Installation](./Installation.md)
+- Development
 
 
 ## Development Instructions
diff --git a/doc/Installation.md b/doc/Installation.md
@@ -1,7 +1,7 @@
 - [Back to README](../README.md)
-  - [User Manual](./Usage.md)
-  - Installation
-  - [Development](./Development.md)
+- [User Manual](./Usage.md)
+- Installation
+- [Development](./Development.md)
 
 
 ## Security
diff --git a/doc/Usage.md b/doc/Usage.md
@@ -1,7 +1,7 @@
 - [Back to README](../README.md)
-  - User Manual
-  - [Installation](./Installation.md)
-  - [Development](./Development.md)
+- User Manual
+- [Installation](./Installation.md)
+- [Development](./Development.md)
 
 ## Lean4Web Documentation
 
