[I338] tighter layout of page navigation #339

Merged
rho_n merged 5 commits from i338-tighter-layout-of-page-navigation into main 2026-07-09 16:45:10 +00:00
Showing only changes of commit 4a14351d19 - Show all commits