Frederik Rietdijk 594ee544b6 Revert "python3Packages.sphinx_rtd_theme: 0.4.3 -> 0.5.0" ...

Revert again as we did before. This wants to fetch from the
web with npm.

https://github.com/readthedocs/sphinx_rtd_theme/issues/1014

This reverts commit 24d78e70a8.

2020-12-03 11:59:19 +01:00

..

default.nix

…