mkdocs.yml

site_name: Internal Docs for L4 Development
site_url: https://smucclaw.github.io/internal_docs/
nav:
  - Home: index.md
  - Historical Context: historical_context.md
  - The L4 System:
      - current_system/index.md
      - current_system/webforms.md
      - current_system/logicalenglish.md
      - Notes on Codebase:
          - current_system/codebase/index.md
          - current_system/codebase/architecture.md
          - current_system/codebase/anyall.md
          - current_system/codebase/explainable.md
          - current_system/codebase/visualizations.md
          - current_system/codebase/generic_mathlang.md
          - current_system/codebase/mathlang.md
          - current_system/codebase/natural4.md
          - current_system/codebase/nlg.md
          - Baby L4: current_system/codebase/baby_L4.md
          - The Rule AST: current_system/codebase/rule_ast.md
          - DevOps: current_system/codebase/devops.md
      - Other Experiments / Prototypes: current_system/other_experiments.md
  - For the Future:
      - Wishlist: future_aspirations.md
      - Misc Notes or Ideas: misc.md
  - Further Reading: further_reading.md
theme:
  name: material
  features:
    - navigation.indexes
    - navigation.top
    - navigation.expand
    - navigation.path
    # - navigation.prune
    - navigation.instant
    - toc.follow
    - toc.integrate
markdown_extensions:
  - pymdownx.superfences:
      custom_fences:
        - name: mermaid
          class: mermaid
          format: !!python/name:pymdownx.superfences.fence_code_format