Note 1. Summary of Significant Accounting Policies Warranties (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2020	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Product Warranty Liability [Line Items]
Warranty costs incurred	$ (2.1)	$ (3.8)	$ (2.8)
Warranty originations and revisions	5.9	4.5	0.1
Warranty expirations	(0.2)	0.0	0.0
Standard Product Warranty Accrual	$ 11.7	$ 8.1	$ 7.4	$ 10.1
Minimum [Member]
Product Warranty Liability [Line Items]
Product Warranty Period	1 year
Maximum [Member]
Product Warranty Liability [Line Items]
Product Warranty Period	5 years