switch to sphinx_rtd_theme