mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-08 10:34:10 +00:00
update nav links for new theme
This commit is contained in:
@@ -34,6 +34,7 @@ extensions = [
|
|||||||
"sphinx-jsonschema",
|
"sphinx-jsonschema",
|
||||||
"sphinxext.opengraph",
|
"sphinxext.opengraph",
|
||||||
"sphinxext.rediraffe",
|
"sphinxext.rediraffe",
|
||||||
|
"jupyterhub_sphinx_theme",
|
||||||
"myst_parser",
|
"myst_parser",
|
||||||
]
|
]
|
||||||
root_doc = "index"
|
root_doc = "index"
|
||||||
@@ -160,12 +161,7 @@ html_theme_options = {
|
|||||||
{
|
{
|
||||||
"name": "GitHub",
|
"name": "GitHub",
|
||||||
"url": "https://github.com/jupyterhub/jupyterhub",
|
"url": "https://github.com/jupyterhub/jupyterhub",
|
||||||
"icon": "fab fa-github-square",
|
"icon": "fa-brands fa-github",
|
||||||
},
|
|
||||||
{
|
|
||||||
"name": "Discourse",
|
|
||||||
"url": "https://discourse.jupyter.org/c/jupyterhub/10",
|
|
||||||
"icon": "fab fa-discourse",
|
|
||||||
},
|
},
|
||||||
],
|
],
|
||||||
"use_edit_page_button": True,
|
"use_edit_page_button": True,
|
||||||
|
Reference in New Issue
Block a user