Use sphinx_rtd_theme when building the HTML docs locally.