This is built with mdBook. If you want to change the docs, follow the installation and getting started guide.

To get the full styling, you need to install the following plugins:

cargo install mdbook-admonish

We also use the linkcheck plugin to check for broken links:

cargo install mdbook-linkcheck