gd 6913148d99 Docs: changed sphinx theme from classic to sphinx_rtd_theme ...

Dependency: pip install sphinx-rtd-theme

2022-11-09 09:35:59 +02:00

..

custom.css

Docs: changed sphinx theme from classic to sphinx_rtd_theme

2022-11-09 09:35:59 +02:00