Prooftoys web site (future http://prooftoys.org), pages not app code
Requires scripts from a local copy of a Prooftoys git repository, linked to assets/pt.
Designed to work with Hugo and the Prooftoys web app. Expects:
- Hugo Whisper Theme installed in "themes" directory: https://github.com/gohugoio/hugo.
- Prooftoys JavaScript sources copied into
/assets/pt/js.