Built using MkDocs with the material theme.

Any changes pushed to GitHub will trigger a GitHub action that will automatically build and publish the website, so don't use mkdocs build or mkdocs gh-deploy.

This is a public repository and website, so don't publish anything sensitive!

Everything is markdown so mkdocs is not strictly needed locally unless you want to inspect the outcome of the changes before pushing to GitHub. If so you can use mkdocs and mkdocs-material in a few different ways:

• Use the development container in VS Code Install the "Dev Containers" extension and reopen the folder in a container (F1 -> Dev Containers: Reopen in Container).

• Use pipenv Install pipenv from pip or apt, then run pipenv install mkdocs mkdocs-material --python /usr/bin/python3 to install the required packages.

• Install mkdocs and mkdocs-material locally using pip or conda or any other way you want.

Run mkdocs serve or pipenv run mkdocs serve if using pipenv. This will serve the site locally, any changes are updated live in the local browser. To show both editor and website side-by-side within VS Code hit F1 -> Simple browser: Show -> http://127.0.0.1:8000.