// Add any paths that contain custom static files (such as style sheets) here,
// relative to this directory. They are copied after the builtin static files,
// so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ["_static"]
// Add any extra paths that contain custom files (such as robots.txt or
// .htaccess) here, relative to this directory. These files are copied
// directly to the root of the documentation.
After Change
if not on_rtd: // only import and set the theme if we"re building docs locally
import sphinx_rtd_theme
html_theme = "sphinx_rtd_theme"
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
// otherwise, readthedocs.org uses their theme by default, so no need to specify it
// html_theme = "alabaster"
