mkdocs.yml

site_name: KeY Developer Documentation

plugins:
  - search
  - bibtex:
      bib_file: "refs.bib"
      cite_style: "pandoc"
#      csl_file: "springer-basic-author-date.csl"
  
markdown_extensions:
  - abbr
  - admonition
  - pymdownx.highlight
  - footnotes
  - meta
  - md_in_html
  - pymdownx.arithmatex
  - pymdownx.betterem:
      smart_enable: all
  - pymdownx.caret
  - pymdownx.critic
  - pymdownx.details
  - pymdownx.emoji:
      emoji_index: !!python/name:materialx.emoji.twemoji
      emoji_generator: !!python/name:materialx.emoji.to_svg
  - pymdownx.inlinehilite
  - pymdownx.snippets
  - pymdownx.magiclink
  - pymdownx.tabbed:
      alternate_style: true 
  - pymdownx.mark
  - pymdownx.smartsymbols
  - pymdownx.superfences:
      custom_fences:
        - name: mermaid
          class: mermaid
          format: !!python/name:pymdownx.superfences.fence_div_format
            #          format: !!python/name:pymdownx.superfences.fence_code_format
  - pymdownx.tasklist:
      custom_checkbox: true
  - pymdownx.tilde
  - attr_list
  - def_list
  - tables
  - toc:
      permalink: true
  - markdown_aafigure:
      format: svg
  - markdown_blockdiag:
      format: svg

extra_javascript:
  - 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-MML-AM_CHTML'
  - 'https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js'
#   - "js/javajml.js"

#copyright: Copyright © 2016 - 2020 Martin Donath

theme: # material theme
  name: material
  palette:
    - media: "(prefers-color-scheme: light)" 
      scheme: default
      primary: 'blue grey'
      accent: 'teal'
      toggle:
        icon: material/toggle-switch-off-outline
        name: Switch to dark mode
    - media: "(prefers-color-scheme: dark)" 
      scheme: slate
      primary: 'dark'
      accent: 'orange'
      toggle:
        icon: material/toggle-switch
        name: Switch to light mode
  features:
    - navigation.tabs
    - navigation.sections
    - navigation.expand
    - navigation.indexes
    - navigation.top
    - content.code.annotate

  icon:
    repo: fontawesome/brands/gitlab

#  palette:
#    primary: 'blue grey'
#    accent: 'teal'
    

nav:
  - Home: index.md
  - User Guide:
      - user/index.md
      - user/FAQ.md
      - user/ADTs.md
      - user/Classpath.md
      - user/Interactive.md
      - user/JavaDLinJML.md
      - user/RemoveGenerics.md
      - user/Polarity.md
      - UI Features:
          - user/Exploration.md
          - user/NodeDiff.md
      - Languages:
          - user/HowToTaclet.md
          - user/JMLGrammar.md
          - user/KeyGrammar.md
      - Proof Scripts:
          - workbench/Proof Scripts/index.md
          - workbench/Proof Scripts/commands.md
          - workbench/Proof Scripts/language.md
          - workbench/Proof Scripts/linearScripts.md
          - workbench/Proof Scripts/macros.md
          - workbench/Proof Scripts/variables.md

  - KeYclipse:
      - "Overview": eclipse
      - "KeY basics": eclipse/CrossProject/
      - "SED": eclipse/SED
      - "Stubby": eclipse/Stubby
    #  - eclipse/General
      - "KeY IDE": eclipse/KeYIDE
      - "MonKeY": eclipse/MonKeY
      - "Starter": eclipse/Starter
      - "VisualDBC": eclipse/VisualDbC
      - "JML Editing": eclipse/JMLEditing
      - "Resources" : eclipse/KeYResources

  - Development:
      - "Start": devel/index.md
      - devel/Architecture.md
      - devel/CodingConventions.md
      - devel/SpotlessAutomaticFormatting.md
      - devel/ExternalProject.md
      - devel/Gradle.md
      - devel/GUIExtensions.md
      - devel/How2ExtRecoder.md
      - devel/howtodoc.md
      - devel/HowtoTaclet.md
      - devel/AddingSMTSolvers.md
      - devel/SMTTranslation.md
      - Testing:
          - devel/Testing/index.md
          - devel/ProveRules.md
          - devel/Testing/ProveRules.md
          - devel/Testing/RunAllProves.md
          - devel/Testing/deterministicTestOrder.md
          - devel/Testing/parserMessageTest.md
      - Write Documentation: "devel/howtodoc"


  
#  nav_style: dark
#  logo: 'https://git.key-project.org/uploads/-/system/appearance/logo/1/key-color.png'
  #feature:
  #  tabs: true
repo_type: gitlab
repo_name: key-docs
repo_url: https://git.key-project.org/key/key-docs/
edit_uri: edit/master/docs/