Move the local edits out of the vendored theme, and document its width knobs - #40

Merged

ptr727 merged 3 commits into

theme-edits-out-of-vendored-tree

Aug 7, 2026

Commits on Aug 7, 2026

Move the two local edits out of the vendored theme
ptr727
and
claude
committed
d16353b
Document the theme's width knobs and where to override them
ptr727
and
claude
committed
0647759
Name the real selector for --nav-width, and record the cols-5 defect
ptr727
and
claude
committed
07a292e