From 7bd68f0c54d712217bd85896d692e07eb166be21 Mon Sep 17 00:00:00 2001 From: Nina <44364127+ninadicara@users.noreply.github.com> Date: Mon, 30 Oct 2023 15:19:00 +0000 Subject: [PATCH] Add 'Edit on GitHub' button --- site/conf.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/site/conf.py b/site/conf.py index 98451ae..6bd8b9b 100644 --- a/site/conf.py +++ b/site/conf.py @@ -53,6 +53,7 @@ html_theme = "pydata_sphinx_theme" html_theme_options = { + "use_edit_page_button": True, "icon_links": [ { "name": "GitHub", @@ -80,7 +81,11 @@ } html_context = { - "default_mode": "light" + "default_mode": "light", + "github_user": "very-good-science", + "github_repo": "data-hazards", + "github_version": "main", + "doc_path": "site/", } html_sidebars = {