Leases (Payment for Operating Leases Expense) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2025	Jun. 30, 2024	Jun. 30, 2025	Jun. 30, 2024
Leases [Abstract]
Operating leases expense	$ 1.4	$ 1.3	$ 2.9	$ 2.6
Short-term leases expense	0.2	0.1	0.4	0.3
Payments on operating lease obligations	$ 1.7	$ 1.4	$ 2.8	$ 2.4