lean-toolchain/docs/mkdocs.yml at main · SentinelOps-CI/lean-toolchain · 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
site_name: Lean Toolchain
site_description: Cryptographic and mathematical primitives in Lean 4
site_author: Lean Toolchain Contributors
site_url: https://lean-toolchain.github.io

repo_name: SentinelOps-CI/lean-toolchain
repo_url: https://github.com/SentinelOps-CI/lean-toolchain
edit_uri: edit/main/docs/

theme:
  name: material
  palette:
    - scheme: default
      primary: indigo
      accent: indigo
      toggle:
        icon: material/toggle-switch
        name: Switch to dark mode
    - scheme: slate
      primary: indigo
      accent: indigo
      toggle:
        icon: material/toggle-switch-off-outline
        name: Switch to light mode

plugins:
  - search

nav:
  - Home: index.md
  - Getting Started:
      - Installation: getting-started/installation.md
      - Quick Start: getting-started/quick-start.md
  - API Reference:
      - Crypto: api/crypto.md
      - Math: api/math.md
  - Topics:
      - Vector implementation: vector-implementation.md
  - Development:
      - Contributing: development/contributing.md
      - CI overview: development/ci.md
      - Style Guide: development/style-guide.md
      - Rust code generation: development/extraction.md

markdown_extensions:
  - admonition
  - codehilite
  - pymdownx.superfences
  - pymdownx.tabbed
  - toc:
      permalink: true