diff --git a/docs/source/conf.py b/docs/source/conf.py index f028ec75..c42bf91b 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -76,6 +76,13 @@ # Add an Edit this Page button html_theme_options = { + "icon_links": [ + { + "name": "GitHub", + "url": "https://github.com/jupyter-server/jupyter_releaser", + "icon": "fab fa-github-square", + } + ], "use_edit_page_button": True, "navigation_with_keys": False, }