Skip to content

Make the site documentation-first with one polished landing page - #72

Merged
smiggleworth merged 1 commit into
mainfrom
chore/docs-first-site
Oct 16, 2026
Merged

smiggleworth merged 1 commit into
mainfrom
chore/docs-first-site

Conversation

@smiggleworth

Copy link
Copy Markdown
Contributor

The site now has one concise landing page leading into documentation. Docs use a shared site header and outer width, a secondary section bar, and a sidebar limited to the current section, with collapsible groups for larger areas.

Tighten the landing and getting-started copy, render inline code/emphasis/links in authored prose, move contribution guidance into docs, and point the documentation index at canonical docs URLs. Retired marketing pages become static forwarding pages with canonical links and a no-JavaScript fallback; they are excluded from the sitemap. These are HTTP 200 compatibility pages on GitHub Pages, not server-side 301/308 responses.

Includes the requested upgrade of all 17 Askr packages to published 0.5.0, compatible Monaco/OpenTelemetry peers, the lockfile, and regenerated API/CLI snapshots. A lightweight generated prop index keeps the full API snapshot out of the initial route bundle while making the page outline match visible props sections. Vite Plus's current formatter also normalizes existing whitespace in AUDIT_REPORT.md.

Validation:

  • Clean npm ci and full npm run check: format, lint, typecheck, 42 unit tests, 22 Chromium tests, and the production build passed.
  • All 479 registered routes generated; 3 generated-output contracts passed.
  • Internal links checked across all 480 generated HTML files: zero missing targets.
  • Browser coverage includes shared header/container widths, section switching, deep links, mobile navigation, prose/props anchors, landing layout in both themes, search, and all eight retired URLs.

@smiggleworth
smiggleworth merged commit 6956b30 into main Oct 16, 2026
4 checks passed
@smiggleworth
smiggleworth deleted the chore/docs-first-site branch October 16, 2026 01:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant