Don't keep doc build files revisioned
Use sphinx_rtd_theme for Sphinx