nav:
  - Home: index.md
  - Core Types: CoreTypes
  - ...
