using the sphinx_rtd_theme locally