Repository navigation

sidebar (mostly) changes per last Friday review session - #19

Merged

jkunze merged 2 commits into

mainfrom

main

Sep 13, 2025

Commits on Sep 7, 2025
- add people tab, change some tab names
  jkunze
  committed
  e0b2585
Commits on Sep 11, 2025
- add favicon
  jkunze
  committed
  aa493f8