Dunedan 31d7e4c97f Improve styling of the header of the profiler2 UI ...

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

2025-07-01 09:56:28 +02:00

..

jquery-3.7.1.js

…

profiler2.html

Improve styling of the header of the profiler2 UI

2025-07-01 09:56:28 +02:00

profiler2.js

Show report statistics for single reports as well

2025-06-27 10:04:11 +02:00

Profiler2Report.js

…

ReportDraw.js

…

utilities.js

Add minimum, sum and percentile columns to reports

2025-06-27 10:03:38 +02:00