We only need python-sphinx-rtd-theme when building