Docs should use RTD theme for local dev builds #684
Description
This should help avoiding issues like #683 where the default theme does not show these issues.
https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html
{{ message }}
This should help avoiding issues like #683 where the default theme does not show these issues.
https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html