Rename some header links to fit better (#7508)

* Rename some header links to fit better * Change header links before dropdown to 5
jupyter · Oct 31, 2024 · c93015d · c93015d
1 parent 1249220
commit c93015d
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": 5,
     "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.