XML 116 R101.htm IDEA: XBRL DOCUMENT v3.25.0.1
Employee Benefit Plans, 401(k) Plan and Other Retirement Benefits (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2024
Dec. 31, 2023
Dec. 31, 2022
Other Retirement Benefits [Abstract]      
Supplemental retirement benefits for retired executives under other retirement benefits plan $ 0.6 $ 0.9  
Expense related to other retirement benefits plan 0.1 0.2 $ 0.2
401(K) Plan [Member]      
Defined benefit plan disclosure [Abstract]      
Employer contribution to plan $ 4.9 $ 4.4 $ 4.0