Leases (Payment for Operating Leases Expense) (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2025	Mar. 31, 2024
Leases [Abstract]
Operating leases expense	$ 1.5	$ 1.3
Short-term leases expense	0.2	0.2
Payments on operating lease obligations	$ 1.1	$ 1.0