Repository navigation
Refresh the default look: inset panel, slate greys, quieter headings, and per-screen fixes - #912
Open
guidovizoso wants to merge 14 commits into
Open
guidovizoso wants to merge 14 commits into
guidovizoso wants to merge 14 commits into
Commits
Commits on Oct 30, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed