Repository navigation

Make documentation header sticky - #167

Merged

kelvinmo merged 2 commits into

features/sticky

Nov 15, 2026

Merged

Make documentation header sticky#167
kelvinmo merged 2 commits into
masterfrom
features/sticky

Commits on Nov 15, 2026
- Make doc-header sticky
  kelvinmo
  committed
  02885b9
- Make doc-header opaque to support sticky
  kelvinmo
  committed
  a29c544