1. Sphinx
The documentation is complied using sphinx. It is a tool that makes it easy to create intelligent and beautiful documentation. Run the following command to install the Read the Docs Sphinx theme via pip:
python3 -m pip install --user sphinx-rtd-theme
Then, build the Html documentation by:
cd sphinx make html