course-materials-ng/mkdocs.yml at main · ourPLCC/course-materials-ng · 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
site_name: Programming Languages with PLCC
site_url: https://ourplcc.github.io/course-materials-ng/
repo_url: https://github.com/ourPLCC/course-materials-ng
repo_name: ourPLCC/course-materials-ng
docs_dir: textbook
strict: true

copyright: >
  Textbook content licensed under
  <a href="https://creativecommons.org/licenses/by-sa/4.0/">CC BY-SA 4.0</a>.

theme:
  name: material
  features:
    - navigation.instant
    - navigation.instant.prefetch
    - navigation.instant.progress
    - navigation.sections
    - navigation.tracking
    - toc.integrate
    - search.suggest
    - content.tabs
    - content.tabs.link
  palette:
    - media: "(prefers-color-scheme: light)"
      scheme: default
      toggle:
        icon: material/weather-night
        name: Switch to dark mode
    - media: "(prefers-color-scheme: dark)"
      scheme: slate
      toggle:
        icon: material/weather-sunny
        name: Switch to light mode

plugins:
  - search
  - mike
  - kroki:
      fence_prefix: ''
      tag_format: svg
  - autorefs
  - enumerate-headings

nav:
  - Home: index.md
  - Introduction: 00-introduction.md
  - Overview: 01-overview.md
  - Tokens: 02-tokens.md
  - PLCC: 03-plcc.md
  - Syntax: 04-syntax.md
  - Semantics: 05-semantic.md
  - V0: 06-v0.md
  - Environments: 07-environments.md
  - V1: 08-v1.md
  - V2: 09-v2.md
  - V3: 10-v3.md
  - V4: 11-v4.md
  - V5: 12-v5.md
  - V6: 13-v6.md
  - SET: 14-set.md
  - REF: 15-ref.md
  - NAME: 16-name.md
  - NEED: 17-need.md

extra:
  version:
    provider: mike

markdown_extensions:
  - attr_list
  - pymdownx.superfences
  - pymdownx.arithmatex:
      generic: true

extra_javascript:
  - javascripts/mathjax.js
  - https://unpkg.com/mathjax@3/es5/tex-mml-chtml.js