Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix logo in documentation website #2674

Merged
merged 7 commits into from
Sep 19, 2023
+5 −9
Merged

Fix logo in documentation website #2674

Changes from 4 commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
edbfee6
Fix html_favicon in documentation
rgaiacs Jun 14, 2023
ee2291c
Fix logo in nav bar
rgaiacs Jun 14, 2023
120fa42
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Jun 14, 2023
f72bb74
Add comment to avoid revert in the future
rgaiacs Jun 14, 2023
86cb401
Keep using jupyterhub_sphinx_theme
consideRatio Sep 19, 2023
4b41406
Avoid duplicated icon links
consideRatio Sep 19, 2023
c1f240b
Update github link to mybinder.org-deploy
consideRatio Sep 19, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 17 additions & 8 deletions docs/source/conf.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@
extensions = [
"myst_parser",
"sphinx_copybutton",
consideRatio marked this conversation as resolved.
Show resolved Hide resolved
"jupyterhub_sphinx_theme",
consideRatio marked this conversation as resolved.
Show resolved Hide resolved
]

# The suffix(es) of source filenames.
Expand All @@ -39,27 +38,37 @@
# -- Options for HTML output ----------------------------------------------
# ref: http://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
#
html_theme = "jupyterhub_sphinx_theme"
html_theme = "pydata_sphinx_theme"
consideRatio marked this conversation as resolved.
Show resolved Hide resolved
html_theme_options = {
"use_edit_page_button": True,
"github_url": "https://github.com/jupyterhub/binderhub",
"twitter_url": "https://twitter.com/mybinderteam",
"icon_links": [
{
"name": "GitHub",
"url": "https://github.com/jupyterhub/mybinder.org-deploy",
"icon": "fa-brands fa-github",
"name": "Discourse",
"url": "https://discourse.jupyter.org/",
"icon": "fa-brands fa-discourse",
"type": "fontawesome",
},
{
"name": "Team Compass",
"url": "https://jupyterhub-team-compass.readthedocs.io/en/latest/",
"icon": "fa-solid fa-compass",
"type": "fontawesome",
},
],
"use_edit_page_button": True,
}
html_context = {
"github_user": "jupyterhub",
"github_repo": "mybinder.org-deploy",
"github_version": "HEAD",
# Branch name is needed to ensure the `Edit on GitHub` button works
"github_version": "main",
rgaiacs marked this conversation as resolved.
Show resolved Hide resolved
"doc_path": "docs/source",
}

html_static_path = ["_static"]
html_logo = "_static/images/logo.png"
html_favicon = "_static/images/favicon.ico"
html_favicon = "_static/images/favicon.png"


# -- Options for linkcheck builder -------------------------------------------
Expand Down