docs: Remove html_theme_path override.

This block has been obsolete since at least sphinx-rtd-theme 0.2.5.
Removing it fixes the heading permalink icon in a local build to be
consistent with the one shown on Read the Docs, and has no other
effect.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2021-11-03 20:47:03 -07:00 committed by Tim Abbott
parent 8d4568140c
commit 03a7d0c053
1 changed files with 0 additions and 5 deletions

View File

@ -49,11 +49,6 @@ html_theme_options = {
html_logo = "images/zulip-logo.svg"
html_static_path = ["_static"]
if not on_rtd:
import sphinx_rtd_theme
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
def setup(app: Any) -> None:
# overrides for wide tables in RTD theme