Modified doc/conf.py to cause Read-The-Docs to use the standard Sphinx theme.