Closed hagenw closed 3 years ago
Compare
with
So, we should figure out why this has changed and how we should update this theme to avoid those changes. Maybe, we should depend on a fixed version of sphinx_rtd_theme
sphinx_rtd_theme
Compare
with
So, we should figure out why this has changed and how we should update this theme to avoid those changes. Maybe, we should depend on a fixed version of
sphinx_rtd_theme