Rename some header links to fit better

jupyter · Oct 30, 2024 · 930a70b · 930a70b
1 parent 676a0fe
commit 930a70b
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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
@@ -1,4 +1,4 @@
-# User Documentation
+# Documentation
 
 Use this page to navigate to different parts of the user documentation.