mirror of
https://gitea.wildfiregames.com/0ad/0ad.git
synced 2026-06-21 04:05:32 +00:00
Dunedan
31d7e4c97f
This improves the styling of the header of the profiler2 UI, by applying the following changes: - change the spinner animation to actually look like a spinner - ensure open reports don't overflow the nav bar - reduce the size of the server port input field - add some paddings to make everything look more pleasing