monaa/mkdocs.yml at master · MasWag/monaa · 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
site_name: monaa
site_url: https://monaa.readthedocs.io/en/latest/
repo_url: https://github.com/MasWag/monaa
repo_name: MasWag/monaa
site_author: Masaki Waga
site_description: "Documentation for monaa: a tool for timed automata and timed regular expressions"
copyright: "© 2019–2025 Masaki Waga"
docs_dir: doc

theme:
  name: material
  features:
    - navigation.instant
    - navigation.sections
    - navigation.top
    - search.highlight
    - search.suggest
  palette:
    - scheme: default
      primary: indigo
      accent: indigo
    - scheme: slate
      primary: indigo
      accent: indigo
  font:
    text: Roboto
    code: Roboto Mono

nav:
  - Home: index.md
  - Getting Started: getting_started.md
  - Installation Guide: install.md
  - Timed Regular Expressions: TRE.md
  - Timed Automata: TA.md
  - Related Tools: related_tools.md

extra:
  version:
    provider: mike

plugins:
  - search