mkdocs.yml

site_name: The Lurch Project

site_url: https://lurchmath.github.io/
repo_url: https://github.com/lurchmath/lurchmath.github.io

site_description: Website for the Lurch proof checker
site_author: Nathan Carter and Ken Monks

nav:
  - Home: index.md
  - About: about.md
  - Gallery: lurch-sites-gallery.md

theme:
  name: minty
  locale: en
# How the minty theme works with the admonition extension:
# !!! warning "a yellow box"
# !!! note "a blue box"
# !!! danger "an orange box"
# !!! example "a gray box"

markdown_extensions:
  - extra
  - admonition
  - codehilite
  - pymdownx.arithmatex:
      generic: true

extra_javascript: 
  - https://cdn.jsdelivr.net/gh/lurchmath/lurch@main/app/embedded.js
  - 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:
  - css/custom.css

validation:
  nav:
    omitted_files: ignore # Some files are left out of nav and that's okay