From dfd3ef1dadefd16d43eb95d9a5cfc1ef69372324 Mon Sep 17 00:00:00 2001
From: Leo Vasanko <git@vasanko.com>
Date: Wed, 19 Aug 2026 01:40:50 +0000
Subject: [PATCH] Shorten seed doc titles; full names as h1 in page source

Menu entries read Basics / Extensions / Images and Layout; the pages
open with their own '# Markdown Basics' / '# Markdown Extensions'
headings (a markdown h1 suppresses the title h1, so nothing doubles).
---
 pagerite/seed.py | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/pagerite/seed.py b/pagerite/seed.py
index 6333d5f..9eb83bd 100644
--- a/pagerite/seed.py
+++ b/pagerite/seed.py
@@ -44,6 +44,8 @@ Images and files uploaded anywhere land in a content-addressed store served from
 """
 
 MD_BASICS = """\
+# Markdown Basics
+
 Every feature below is shown twice: first the Markdown source, then how it renders.
 
 ## Headings and text
@@ -122,6 +124,8 @@ def greet(name: str) -> str:
 """
 
 MD_EXTENSIONS = """\
+# Markdown Extensions
+
 Markdown extensions enabled on this site, source first, then rendered.
 
 ## Footnotes
@@ -351,14 +355,14 @@ PAGES: dict[str, tuple[str, str, dict[str, bytes], str, float, str | None]] = {
     "about": ("About", ABOUT, {}, "", 3, None),
     "docs/editing": ("Editing This Site", EDITING, {}, "", 1, None),
     "docs/markdown/basics": (
-        "Markdown Basics",
+        "Basics",
         MD_BASICS,
         {},
         "",
         1,
         None,
     ),
-    "docs/markdown/extensions": ("Markdown Extensions", MD_EXTENSIONS, {}, "", 2, None),
+    "docs/markdown/extensions": ("Extensions", MD_EXTENSIONS, {}, "", 2, None),
     "docs/markdown/images-and-layout": (
         "Images and Layout",
         MD_LAYOUT,