UltraCore-RFT/mkdocs.yml at main · RFT-SIRM/UltraCore-RFT · 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
site_name: UltraCore RFT
site_url: https://rft-sirm.github.io/UltraCore-RFT/
theme:
  name: material
  palette:
    - scheme: default
      primary: indigo
      accent: indigo
      toggle:
        icon: material/brightness-7
        name: Switch to dark mode
    - scheme: slate
      primary: indigo
      accent: indigo
      toggle:
        icon: material/brightness-4
        name: Switch to light mode
  features:
    - navigation.tabs
    - navigation.sections
    - navigation.expand
    - search.suggest
    - search.highlight
    - content.code.copy
  icon:
    logo: material/atom-variant

extra:
  social:
    - icon: fontawesome/brands/github
      link: https://github.com/RFT-SIRM/UltraCore-RFT

plugins:
  - search

markdown_extensions:
  - pymdownx.highlight:
      anchor_linenums: true
  - pymdownx.inlinehilite
  - pymdownx.snippets
  - pymdownx.superfences:
      custom_fences:
        - name: mermaid
          class: mermaid
          format: !!python/name:pymdownx.superfences.fence_code_format
  - tables
  - attr_list
  - md_in_html
  - toc:
      permalink: true

nav:
  - Home: index.md
  - Platform: platform.md
  - Architecture: architecture.md
  - Strategy: strategy.md
  - Foundations: foundations.md
  - Implementation: implementation.md
  - Field Trials: field_trials.md
  - seL4 CDT Verification: field_trials_sel4.md
  - Glossary: glossary.md
  - Support: support.md