We no longer import sphinx_rtd_theme in doc/conf.py, so documentation
tests now run without requiring sphinx_rtd_theme to be installed.