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	Update jquery used by profiler2 webui	2025-02-17 21:22:30 +01:00
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	Enable eslint style rule 'keyword-spacing'	2025-06-25 14:34:12 +02:00
ReportDraw.js	Don't pass report explicitly in ReportDraw	2025-05-30 14:16:32 +02:00
utilities.js	Add minimum, sum and percentile columns to reports	2025-06-27 10:03:38 +02:00