From 686716ca440007d4d72a959eae449bafcf1db4cb Mon Sep 17 00:00:00 2001 From: Greg Date: Wed, 30 Oct 2024 17:09:50 +0100 Subject: [PATCH 1/2] Rename some header links to fit better --- docs/source/conf.py | 1 + docs/source/contributor.md | 2 +- docs/source/migrate_to_notebook7.md | 2 +- docs/source/user-documentation.md | 2 +- 4 files changed, 4 insertions(+), 3 deletions(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index cc2d5cab1b..d85ee26f06 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -172,6 +172,7 @@ # further. For a list of options available for each theme, see the # documentation. html_theme_options = { + "header_links_before_dropdown": 4, "icon_links": [ { "name": "jupyter.org", diff --git a/docs/source/contributor.md b/docs/source/contributor.md index de041ef128..977ea82702 100644 --- a/docs/source/contributor.md +++ b/docs/source/contributor.md @@ -1,4 +1,4 @@ -# Contributor +# Contributing ```{toctree} :caption: Contributor Documentation diff --git a/docs/source/migrate_to_notebook7.md b/docs/source/migrate_to_notebook7.md index 0806a4c188..4fdf3e2f48 100644 --- a/docs/source/migrate_to_notebook7.md +++ b/docs/source/migrate_to_notebook7.md @@ -1,4 +1,4 @@ -# Migrating to Notebook 7 +# Migrating _Updated 2023-05-17_ diff --git a/docs/source/user-documentation.md b/docs/source/user-documentation.md index 632b579323..cdb7f562e2 100644 --- a/docs/source/user-documentation.md +++ b/docs/source/user-documentation.md @@ -1,4 +1,4 @@ -# User Documentation +# Documentation Use this page to navigate to different parts of the user documentation. From 8574d98ea3ed9f051b94289115d54f3f1a30ab40 Mon Sep 17 00:00:00 2001 From: Greg Date: Thu, 31 Oct 2024 10:00:34 +0100 Subject: [PATCH 2/2] Change header links before dropdown to 5 --- docs/source/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index d85ee26f06..b625a9481e 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -172,7 +172,7 @@ # further. For a list of options available for each theme, see the # documentation. html_theme_options = { - "header_links_before_dropdown": 4, + "header_links_before_dropdown": 5, "icon_links": [ { "name": "jupyter.org",