Note 11. Employee Retirement Plans Amounts Recognized in OCI (Details) - USD ($) $ in Millions	Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2021
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.6
Accumulated other comprehensive income	11.0	$ 19.7
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	$ (1.4)	$ (1.2)	$ (3.5)