Skip to content

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

Merged
ptr727 merged 3 commits into
developfrom
theme-edits-out-of-vendored-tree
Aug 7, 2026
Merged

Move the local edits out of the vendored theme, and document its width knobs#40
ptr727 merged 3 commits into
developfrom
theme-edits-out-of-vendored-tree

Name the real selector for --nav-width, and record the cols-5 defect

07a292e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar