Repository navigation

Show the narrated Rust demo on /docent - #9

Merged

mehfuzh merged 13 commits into

mainfrom

docent-rust-demo

Nov 8, 2026

Merged

Show the narrated Rust demo on /docent#9
mehfuzh merged 13 commits into
mainfrom
docent-rust-demo

Commits on Nov 8, 2026
- Show the narrated Rust demo on /docent
  mehfuzh
  committed
  13cea13
- Fix the Get started section on /docent
  mehfuzh
  committed
  fd9546e
- Cleaner install command in the /docent hero
  mehfuzh
  committed
  cd8c297
- Icon-only copy button in the hero; sturdier platform detection
  mehfuzh
  committed
  40fe39f
- Put the /docent footer inside main, as on every other page
  mehfuzh
  committed
  9efa7dd
- Concrete get-started steps, one install box design, Coding in the nav
  mehfuzh
  committed
  948ee6a
- Drop the platform tabs from the install box
  mehfuzh
  committed
  7f83e8f
- Make GitHub and the reference secondary in the /docent hero
  mehfuzh
  committed
  dd663e2
- Use the GitHub icon for the source link on /docent
  mehfuzh
  committed
  a02a32f
- Call the /docent nav link Docent
  mehfuzh
  committed
  3a47c4f
- Mute the /docent demo video by default
  mehfuzh
  committed
  851cdba
- Add long-form content and an FAQ to /docent for search
  mehfuzh
  committed
  33a3ad6
- Lay out the five prompt stages on /docent as rows
  mehfuzh
  committed
  f0bc2af