Both user and developer documentation is published to GitHub Pages. The Just The Docs theme is used to manage the layout. This theme was chosen because it provides a navigation bar.

---

Table of contents

• Setting up GitHub pages