Repository navigation

Follow browser preference in default theme - #3288

Merged

texodus merged 3 commits into

Nov 12, 2026

Merged

Follow browser preference in default theme#3288
texodus merged 3 commits into
masterfrom
auto-theme

Commits on Nov 10, 2026
- Fix types (again)
  texodus
  committed
  ca06176
Commits on Nov 12, 2026
- Fix agent corpus missing docs warning
  texodus
  committed
  4be5310
- Combine default light/dark themes
  texodus
  committed
  330ead4