v3.25.4
Leases (Lease Cost) (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2025
Dec. 31, 2024
Dec. 31, 2023
Leases [Abstract]      
Operating lease cost $ 19.4 $ 17.2 $ 16.0
Variable lease cost 5.5 7.1 5.1
Total lease cost $ 24.9 $ 24.3 $ 21.1