fix: reduce javadoc logo height to prevent navbar overflow#155

Merged

ObserverOfTime merged 2 commits intotree-sitter:masterfrom

sunJ0120:fix/javadoc-navbar-logo-overflow

Nov 2, 2025

Commits on Oct 17, 2025

fix: reduce javadoc logo height to prevent navbar overflow
sunJ0120
committed

Commits on Oct 19, 2025

fix: use CSS variable for more stable logo height

sunJ0120
and
Marcono1234
committed