Note 11. Employee Retirement Plans Amounts Recognized in OCI (Details) - USD ($) $ in Millions	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Defined Benefit Plans and Other Postretirement Benefit Plans Table Text Block [Line Items]
Accumulated other comprehensive income (loss)	$ (4.2)	$ 11.0
Supplemental Executive Retirement Plan (SERP) [Member]
Defined Benefit Plans and Other Postretirement Benefit Plans Table Text Block [Line Items]
Defined Benefit Plan, Accumulated Other Comprehensive Income (Loss), Gain (Loss), before Tax	2.3
Defined Benefit Plan, Expected Amortization of Gain (Loss), Next Fiscal Year	0.1
Defined Benefit Plan, Expected Amortization in Next Fiscal Year, Net of Tax	0.1
Accumulated Defined Benefit Plans Adjustment, Net Gain (Loss) Attributable to Parent [Member]
Defined Benefit Plans and Other Postretirement Benefit Plans Table Text Block [Line Items]
Accumulated other comprehensive income (loss)		$ (1.4)	$ (1.2)
Accumulated Defined Benefit Plans Adjustment, Net Gain (Loss) Attributable to Parent [Member] | Supplemental Executive Retirement Plan (SERP) [Member]
Defined Benefit Plans and Other Postretirement Benefit Plans Table Text Block [Line Items]
Accumulated other comprehensive income (loss)	$ (1.2)