Merge pull request #1 from edmondchuc/sphinx-furo-theme

Add Sphinx furo theme
pull/222/head
Edmond Chuc 3 years ago committed by GitHub
commit 4a5c6b8444
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      .devcontainer/Dockerfile
  2. 2
      python/docs/conf.py

@ -18,7 +18,8 @@ ENV PATH="$VIRTUAL_ENV/bin:$PATH"
RUN pip install --no-cache-dir \
"maturin>=0.9,<0.10" \
sphinx \
sphinx-autobuild
sphinx-autobuild \
furo
# Change owner to the devcontainer user
RUN chown -R 1000:1000 $VIRTUAL_ENV

@ -22,7 +22,7 @@ exclude_patterns = ["build", "Thumbs.db", ".DS_Store"]
# -- Options for HTML output -------------------------------------------------
html_theme = "classic"
html_theme = "furo"
html_static_path = []
html_logo = "../../logo.svg"
html_favicon = "../../logo.svg"

Loading…
Cancel
Save