fix: touch targets and aside margin in content navigation#596
Merged
MoritzWeber0 merged 3 commits intomainfrom Jan 17, 2026
Merged
fix: touch targets and aside margin in content navigation#596MoritzWeber0 merged 3 commits intomainfrom
MoritzWeber0 merged 3 commits intomainfrom