HypergraphGo/mkdocs.yml at main · watchthelight/HypergraphGo · 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
site_name: HoTTGo
site_description: Homotopy Type Theory and Hypergraph toolkit in Go
site_url: https://watchthelight.github.io/HypergraphGo/
repo_url: https://github.com/watchthelight/HypergraphGo
repo_name: watchthelight/HypergraphGo

theme:
  name: material
  logo: assets/hottgo-icon.png
  favicon: assets/hottgo-icon.png
  palette:
    scheme: slate
    primary: custom
    accent: custom
  features:
    - navigation.instant
    - navigation.sections
    - navigation.top
    - search.highlight
    - content.code.copy

extra_css:
  - css/indie.css

nav:
  - Home: index.md
  - Architecture: architecture.md
  - Rules:
      - Identity Types: rules/id.md
      - Path Types: rules/path.md
      - Inductives: rules/inductive.md
  - Contributing: CONTRIBUTING.md
  - Packaging: PACKAGING.md
  - Releasing: RELEASING.md

markdown_extensions:
  - pymdownx.highlight:
      anchor_linenums: true
  - pymdownx.superfences:
      custom_fences:
        - name: mermaid
          class: mermaid
          format: !!python/name:pymdownx.superfences.fence_code_format
  - pymdownx.tabbed:
      alternate_style: true
  - admonition
  - pymdownx.details
  - attr_list
  - md_in_html

plugins:
  - search
  - minify:
      minify_html: true

extra:
  social:
    - icon: fontawesome/brands/github
      link: https://github.com/watchthelight/HypergraphGo