distributed-assertions.github.io/mkdocs.yml at main · distributed-assertions/distributed-assertions.github.io · 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
site_name: Distributed Assertion Management Framework
nav:
    - Home: 'index.md'
    - Design:
      - DAMF Formats: 'damf-formats.md'
      - Processes: 'damf-processes.md'
    - Dispatch: 'dispatch.md'
    - 'Edge Systems':
        - 'Abella DAMF': 'abella.md'
        - 'λProlog': 'lprolog.md'
    - example-walkthrough.md
theme:
  name: material
  palette:
    - scheme: default
      primary: custom
      accent: custom
      toggle:
        icon: material/lightning-bolt-outline
        name: :Switch to dark mode
    - scheme: slate
      primary: custom
      accent: custom
      toggle:
        icon: material/lightning-bolt
        name: Switch to light mode
  font:
    text:  M PLUS Rounded 1c
    code: Roboto Mono
  logo: assets/logo/logo.png
  favicon: assets/logo/favicon.ico
  features:
    - navigation.instant
    - navigation.tracking
    - navigation.tabs
    - toc.follow
    - navigation.top
    - navigation.expand
    - navigation.footer
    - content.code.annotate
extra_css:
  - assets/css/extra.css
  - assets/css/collapsible.css
extra_javascript:
  - assets/js/mathjax.js
  - https://polyfill.io/v3/polyfill.min.js?features=es6
  - https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
extra:
  generator: true
  social:
    - icon: fontawesome/brands/github
      link: https://github.com/distributed-assertions
      name: DAMF on github
markdown_extensions:
  - attr_list
  - admonition
  - md_in_html
  - smarty
  - pymdownx.superfences
  - pymdownx.tabbed:
      alternate_style: true
  - pymdownx.arithmatex:
      generic: true
  - pymdownx.snippets
  - pymdownx.emoji:
      emoji_index: !!python/name:materialx.emoji.twemoji
      emoji_generator: !!python/name:materialx.emoji.to_svg
copyright: Copyright &copy; 2023 . <a href="https://innofarah.com" target="_blank">Farah Al Wardani</a>,
           <a href="https://chaudhuri.info" target="_blank">Kaustuv Chaudhuri</a>,
           and <a href="https://www.lix.polytechnique.fr/~dale/" target="_blank">Dale Miller</a>
plugins:
  - offline:
      enabled: true