Do reorg requested by Gradce

Author: nadimkobeissi

docs/miden/index.md

@@ -1 +1 @@
-# Marketing html page
+Marketing html page

mkdocs.yml

@@ -51,7 +51,7 @@ theme:
 nav:
   - Home: index.md
   - CDK:
-      - cdk/index.md
+      - CDK: cdk/index.md
       - Get started:
         - Get started: cdk/get-started/index.md
         - Quickstart:
@@ -76,7 +76,7 @@ nav:
       - Additional resources:
         - Additional resources: cdk/troubleshooting/index.md
   - zkEVM:
-      - zkEVM/index.md # marketing landing page
+      - zkEVM: zkEVM/index.md # marketing landing page
       - Get started:
         - Get started: zkEVM/get-started/index.md
         - Quick start:
@@ -206,7 +206,7 @@ nav:
       - Troubleshooting:
         - Disclosures: zkEVM/troubleshooting/risk-disclosures.md
   - PoS:
-      - pos/index.md # marketing landing page
+      - PoS: pos/index.md # marketing landing page
       - Get started: 
         - Get started: pos/get-started/index.md
         - Building on Polygon: pos/get-started/building-on-polygon.md
@@ -285,7 +285,7 @@ nav:
       - API:
           - pos/api/index.md
   - Miden:
-      - miden/index.md # marketing landing page
+      - Miden: miden/index.md # marketing landing page
       - Get started: miden/get-started/index.md
       - Miden playground: https://0xpolygonmiden.github.io/examples/
       - Miden zkRollup docs: https://0xpolygonmiden.github.io/miden-base/introduction.html