-
Notifications
You must be signed in to change notification settings - Fork 10
/
mkdocs.yml
89 lines (82 loc) · 2.1 KB
/
mkdocs.yml
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
79
80
81
82
83
84
85
86
87
88
89
site_name: 浙江大学24年秋冬操作系统实验
site_url: https://zju-sec.github.io/os24fall-stu/
repo_url: https://github.com/ZJU-SEC/os24fall-stu
repo_name: ZJU-SEC/os24fall-stu
edit_uri: tree/main/docs
theme:
name: material
icon:
repo: fontawesome/brands/github
edit: material/pencil
palette:
- media: "(prefers-color-scheme: light)"
scheme: default
toggle:
icon: material/brightness-7
name: Switch to dark mode
- media: "(prefers-color-scheme: dark)"
scheme: slate
toggle:
icon: material/brightness-4
name: Switch to light mode
features:
- content.code.copy
- content.code.annotate
- content.action.edit
- navigation.top
- navigation.footer
- navigation.tracking
font:
code: Cascadia
nav:
- 首页: index.md
- 实验指导零: lab0.md
- 实验指导一: lab1.md
- 实验指导二: lab2.md
- 实验指导三: lab3.md
- 实验指导四: lab4.md
- 实验指导五: lab5.md
- 实验指导六: lab6.md
- Spike 工具链使用: spike.md
- 常见问题及解答: faq.md
markdown_extensions:
- toc:
permalink: true
toc_depth: 4
- meta
- def_list
- attr_list
- md_in_html
- sane_lists
- admonition
- pymdownx.keys
- pymdownx.mark
- pymdownx.tilde
- pymdownx.critic
- pymdownx.details
- pymdownx.snippets
- pymdownx.magiclink
- pymdownx.superfences
- pymdownx.inlinehilite
- pymdownx.emoji:
emoji_index: !!python/name:material.extensions.emoji.twemoji
emoji_generator: !!python/name:material.extensions.emoji.to_svg
- pymdownx.tabbed:
alternate_style: true
- pymdownx.tasklist:
custom_checkbox: true
- pymdownx.highlight:
anchor_linenums: true
- pymdownx.arithmatex:
generic: true
extra_javascript:
- javascripts/mathjax.js
- https://polyfill.io/v3/polyfill.min.js?features=es6
- https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
extra_css:
- https://fonts.googleapis.com/css?family=Roboto:500,500i,600,600i&display=fallback
- stylesheets/extra.css
plugins:
- search
- heti:
disable_serve: false