Default theme for GitBook for Mkdocs
https://lramage.gitlab.io/mkdocs-gitbook-theme
Mac setup for developers.
