Change sphinx theme

[maringuu]

On my ubuntu 22.04 install building the docs results in the following error:

Running Sphinx v4.3.2

Warning, treated as error:
sphinx_rtd_theme (< 0.3.0) found. It will not be available since Sphinx-6.0
make: *** [Makefile:20: html] Error 2

So we should probably change the theme. Also: Did we document somewhere what dependencys building the docs has? apt install sphinx-common and pip install sphinx-rtd-theme seem to be it.

[jstucke]

Also: Did we document somewhere what dependencys building the docs has?

Did you try to look at the readme (/docsrc/README.md)? It should build fine if you follow the instructions :sweat_smile: Despite that, we could probably update the versions in the doc_dependencies.txt.

[maringuu]

Did you try to look at the readme (/docsrc/README.md)?

Whoops. No I missed that. I'd propose to add a link to it in the README.