Note 10. Employee Retirement Plans Amounts Recognized in OCI (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2022	Dec. 31, 2021	Dec. 31, 2020
Defined Benefit Plans and Other Postretirement Benefit Plans Table Text Block [Line Items]
Settlement of pension plan	$ 0.0	$ 0.0	$ 151.5
Actuarial gain (loss)	2.6	0.4	10.4
Amortization of actuarial loss	0.3	0.3	6.0
Amortization of prior service cost	0.0	0.0	1.2
Total before income taxes	2.9	0.7	169.1
Income tax (benefit) expense	0.6	0.2	39.2
Net amount recognized in other comprehensive income (loss)	2.3	0.5	129.9
Defined Benefit Plan, Accumulated Other Comprehensive Income (Loss), Gain (Loss), before Tax	2.3
Accumulated other comprehensive income (loss)	19.7	(17.0)
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.2)	$ (3.5)	$ (4.0)