-
Notifications
You must be signed in to change notification settings - Fork 1
/
mkdocs.yml
65 lines (60 loc) · 1.32 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
site_name: 'cppproptest'
site_description: 'C++ Property Testing'
site_author: 'kindone'
site_url: 'https://github.com/pages/kindone/cppproptest'
repo_name: 'kindone/cppproptest'
repo_url: 'https://github.com/kindone/cppproptest'
edit_uri: 'edit/master/docs'
theme:
name: material
font:
text: 'Inter'
code: 'Inconsolata'
palette:
primary: teal
accent: light green
favicon: assets/favicon.ico
features:
- navigation.tracking
- navigation.tabs.sticky
- navigation.indexes
- navigation.path
- toc.follow
- navigation.top
- search.highlight
- search.suggest
- navigation.expand
markdown_extensions:
- admonition
- codehilite
- pymdownx.magiclink
- pymdownx.details
- pymdownx.highlight
- pymdownx.inlinehilite
- attr_list
- meta
- footnotes
- tables
- pymdownx.superfences:
custom_fences:
- name: mermaid
class: mermaid
format: !!python/name:pymdownx.superfences.fence_code_format
- toc:
permalink: true
plugins:
- search
- git-revision-date-localized
- kroki:
DownloadImages: true
nav:
- 'cppproptest':
- README.md
- 'Getting Started' : GettingStarted.md
- Property.md
- Generators.md
- Combinators.md
- Shrinking.md
- Printing.md
- StatefulTesting.md
- ConcurrencyTesting.md