documentation/mkdocs.yml at viplab3.0-json · VirtualProgrammingLab/documentation · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
site_name: ViPLab
plugins:
    - search
markdown_extensions:
  - admonition
  - attr_list
  - md_in_html
  - pymdownx.highlight:
      anchor_linenums: true
  - pymdownx.inlinehilite
  - pymdownx.snippets
  - pymdownx.details
  - pymdownx.superfences
  - pymdownx.tabbed:
      alternate_style: true
edit_uri: https://github.com/VirtualProgrammingLab/documentation/tree/master/docs
repo_url: https://github.com/VirtualProgrammingLab
repo_name: VirtualProgrammingLab
copyright: Copyright &copy; Universität Stuttgart
theme:
  name: material
  logo: images/viplab.png
  favicon: images/viplab.png
  icon:
    repo: fontawesome/brands/github
  features:
    - navigation.tabs
    - navigation.tabs.sticky
    - navigation.sections
    - navigation.expand
    - navigation.indexes
    - toc.follow
    - navigation.top
    - content.code.annotate
  palette:
    - media: "(prefers-color-scheme: light)"
      scheme: default
      primary: light blue
      toggle:
        icon: material/toggle-switch-off-outline
        name: Switch to dark mode
    - media: "(prefers-color-scheme: dark)"
      scheme: slate
      primary: light blue
      toggle:
        icon: material/toggle-switch
        name: Switch to light mode
nav:
  - index.md
  - Admin Guide:
    - admin/index.md
    - Architecture: admin/architecture.md
    - Interface to Websocket API: admin/interface.md
    - Integration: admin/integration.md
    - Docker: admin/docker.md
    - Setup: admin/setup.md
  - User Guide:
    - user/index.md
    - Tutorial: user/tutorial.md
    - Frontend: user/frontend.md
    - Common Validation Errors: user/validation.md
    - ViPLab In ILIAS: user/ilias.md
    - ViPLab In DaRUS: user/darus.md
  - Developer Guide:
    - developer/index.md
    - Computation Template: developer/computation_template.md
    - Computation Task: developer/computation_task.md
    - Computation: developer/computation.md
    - Computation Result: developer/computation_result.md
    - System Status: developer/system_status.md
    - Result: developer/result.md
    - ADRs:
      - adr/index.md
      - Template: adr/template.md
      - ADR-0000: adr/0000-use-markdown-architectural-decision-records.md
      - ADR-0001: adr/0001-use-json-web-tokens.md
      - ADR-0002: adr/0002-use-sha256-with-base64url-encoding.md
      - ADR-0003: adr/0003-transfere-hash-in-jwt-claim.md
      - ADR-0004: adr/0004-use-asymmetric-jwt-signing.md
      - Versioning: adr/versioning.md
  - History:
    - history/index.md
extra:
  collapse_toc: false
extra_css:
  - stylesheets/extra.css