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