mkdocs.yml

site_name: MontiCore
theme:
  name: 'material'
  favicon: 'img/favicon.ico'
  custom_dir: docs/overrides
  hide:
    - navigation
  features:
    - navigation.tabs
    - toc.integrate
    - toc.follow
    - content.tabs.link
    - content.code.copy
  icon:
    logo: 'fontawesome/solid/desktop'

site_url: https://monticore.github.io/monticore/
repo_url: https://github.com/MontiCore/monticore/
edit_uri: ""

extra_css:
  - 'stylesheets/extra.css'

copyright: '(c) https://github.com/MontiCore/monticore'

markdown_extensions:
  - pymdownx.highlight
  - pymdownx.inlinehilite
  - pymdownx.superfences
  - pymdownx.snippets
  - pymdownx.tabbed:
      alternate_style: true

nav:
  - Home: 'README.md'
  - 'Getting Started': 'docs/GettingStarted.md'
  - Core Grammars:
      - 'Overview': 'monticore-grammar/src/main/grammars/de/monticore/Grammars.md'
      - 'Expressions': 'monticore-grammar/src/main/grammars/de/monticore/expressions/Expressions.md'
      - 'Literals': 'monticore-grammar/src/main/grammars/de/monticore/literals/Literals.md'
      - 'Types': 'monticore-grammar/src/main/grammars/de/monticore/types/Types.md'
  - Languages:
      - 'Languages and Language Components': 'docs/DevelopedLanguages.md'
      - 'List of Languages': 'docs/Languages.md'
  - 'Best Practices': 'docs/BestPractices.md'
  - Changelog: '00.org/Explanations/CHANGELOG.md'
  - Downloads: 'docs/Download.md'
  - Publications: 'docs/Publications.md'
  - License: '00.org/Licenses/LICENSE-MONTICORE-3-LEVEL.md'