Add 'Edit on GitHub' button

very-good-science · Oct 30, 2023 · 7bd68f0 · 7bd68f0
1 parent 98b9e31
commit 7bd68f0
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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 = {