morpho-devguide-webpage/mkdocs.yml at main · emmanuellfc/morpho-devguide-webpage · 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
# Project information
site_name: Morpho Dev Guide
site_url: https://emmanuellfc.github.io/morpho-devguide-webpage/
site_author: Emmanuel Flores
repo_url: https://github.com/Morpho-lang/morpho
theme:
    name: material
    favicon: images/favicon.png
    # logo: images/favicon.png
    font:
        text: Fira Sans
    palette:
        - scheme: slate
          primary: light blue
    features:
        - content.code.annotate

# Markdown_extensions:
markdown_extensions:
    - pymdownx.arithmatex:
          generic: true
    - attr_list
    - pymdownx.emoji:
          emoji_index: !!python/name:material.extensions.emoji.twemoji
          emoji_generator: !!python/name:material.extensions.emoji.to_svg

extra_javascript:
    - javascripts/katex.js
    - https://unpkg.com/katex@0/dist/katex.min.js
    - https://unpkg.com/katex@0/dist/contrib/auto-render.min.js

extra_css:
    - https://unpkg.com/katex@0/dist/katex.min.css

# Repository
repo_name: morpho-devguide

nav:
    - Home: index.md
    - Introduction: 01-Introduction.md
    - Design Goals: 02-Design-Goals.md
    - Variables and Types: 03-Variables-and-Types.md
    - Comments: 04-Comments.md
    - Expressions: 05-Expressions.md
    - Statements: 06-Statements.md
    - Functions: 07-Functions.md
    - Functions as Data: 08-Functions-as-Data.md
    - Classes and Objects: 09-Classes-and-Objects.md
    - Protocols: 10-Protocols.md
    - Errors: 11-Errors.md
    - Libraries: 12-Libraries.md
    - Advanced Topics: 13-Advanced-Topic-Design-Patterns.md
    - Tools for Morpho: 14-Tools-for-Morpho.md
    - The Morpho Profiler: 15-The-Morpho-Profiler.md
    - Extending Morpho: 16-Extending-Morpho.md
    - About this online version: About-online.md