| 1 | site_name: CIVL Documentation
|
|---|
| 2 | repo_url: https://github.com/verified-software-lab/civl
|
|---|
| 3 | repo_name: verified-software-lab/civl
|
|---|
| 4 |
|
|---|
| 5 | theme:
|
|---|
| 6 | name: material
|
|---|
| 7 | icon:
|
|---|
| 8 | repo: fontawesome/brands/github
|
|---|
| 9 | font:
|
|---|
| 10 | text: Roboto
|
|---|
| 11 | code: Roboto Mono
|
|---|
| 12 | features:
|
|---|
| 13 | - content.code.copy
|
|---|
| 14 | - navigation.footer
|
|---|
| 15 | - search.suggest
|
|---|
| 16 | palette:
|
|---|
| 17 | # Palette toggle for automatic mode
|
|---|
| 18 | - media: "(prefers-color-scheme)"
|
|---|
| 19 | toggle:
|
|---|
| 20 | icon: material/brightness-auto
|
|---|
| 21 | name: Switch to light mode
|
|---|
| 22 | # Palette toggle for light mode
|
|---|
| 23 | - media: "(prefers-color-scheme: light)"
|
|---|
| 24 | scheme: default
|
|---|
| 25 | primary: indigo
|
|---|
| 26 | toggle:
|
|---|
| 27 | icon: material/brightness-1
|
|---|
| 28 | name: Switch to dark mode
|
|---|
| 29 | # Palette toggle for dark mode
|
|---|
| 30 | - media: "(prefers-color-scheme: dark)"
|
|---|
| 31 | scheme: slate
|
|---|
| 32 | primary: black
|
|---|
| 33 | toggle:
|
|---|
| 34 | icon: material/brightness-3
|
|---|
| 35 | name: Switch to system preference
|
|---|
| 36 |
|
|---|
| 37 | docs_dir: docs
|
|---|
| 38 |
|
|---|
| 39 | nav:
|
|---|
| 40 | - Home: index.md
|
|---|
| 41 | - Introduction: introduction.md
|
|---|
| 42 | - CIVL-C Fundamentals: fundamentals.md
|
|---|
| 43 | - Language Manual: language.md
|
|---|
| 44 | - Libraries: libraries.md
|
|---|
| 45 | - Command Line Interface: cli.md
|
|---|
| 46 | - Examples: examples.md
|
|---|
| 47 | - A Challenge Exercise for Twente: challenge.md
|
|---|
| 48 |
|
|---|
| 49 | plugins:
|
|---|
| 50 | - search
|
|---|
| 51 | - typeset
|
|---|
| 52 |
|
|---|
| 53 | markdown_extensions:
|
|---|
| 54 | - attr_list
|
|---|
| 55 | - smarty
|
|---|
| 56 | - admonition
|
|---|
| 57 | - tables
|
|---|
| 58 | - fenced_code
|
|---|
| 59 | - toc:
|
|---|
| 60 | permalink: true
|
|---|
| 61 | - pymdownx.highlight:
|
|---|
| 62 | anchor_linenums: true
|
|---|
| 63 | line_spans: __span
|
|---|
| 64 | pygments_lang_class: true
|
|---|
| 65 | - pymdownx.arithmatex:
|
|---|
| 66 | generic: true
|
|---|
| 67 | - pymdownx.details
|
|---|
| 68 | - pymdownx.inlinehilite
|
|---|
| 69 | - pymdownx.snippets
|
|---|
| 70 | - pymdownx.superfences
|
|---|
| 71 | - pymdownx.blocks.caption
|
|---|
| 72 |
|
|---|
| 73 | extra_javascript:
|
|---|
| 74 | - javascripts/katex.js
|
|---|
| 75 | - https://unpkg.com/katex@0/dist/katex.min.js
|
|---|
| 76 | - https://unpkg.com/katex@0/dist/contrib/auto-render.min.js
|
|---|
| 77 |
|
|---|
| 78 | extra_css:
|
|---|
| 79 | - stylesheets/extra.css
|
|---|
| 80 | - https://unpkg.com/katex@0/dist/katex.min.css
|
|---|
