[Backport] Fix navigation bar font size not relative to root font size#3919
Open
github-actions[bot] wants to merge 1 commit intorelease/v4.24from
Open
[Backport] Fix navigation bar font size not relative to root font size#3919github-actions[bot] wants to merge 1 commit intorelease/v4.24from
github-actions[bot] wants to merge 1 commit intorelease/v4.24from
Commits
Commits on Dec 18, 2025
- authored andcommitted