Using a Sphinx theme that should work on RTD