site_name: DGF DAO Specification
site_url: https://spec.dgov.io
theme:
  name: material
plugins:
  - search
  - mermaid2
extra_css:
  - stylesheets/extra.css
markdown_extensions:
  - pymdownx.superfences:
      # make exceptions to highlighting of code:
      custom_fences:
        - name: mermaid
          class: mermaid
          format: !!python/name:mermaid2.fence_mermaid_custom
nav:
  - Overview: index.md
  - Terminology: terminology.md
  - Generic DAO:
    - Requirements: requirements.md
    - System Design: system-design.md
    - User Stories: user-stories.md
  - Specialized DAOs:
    - Arbitration: arbitration.md
    - Publishing: publishing.md
  - Implementation: 
    - Ethereum Prototype: implementation-solidity.md
    - Casper Production: implementation-casper.md
  - Future Work: future-work.md