Note 6. Leases - Summary of future lease payments (Details) $ in Millions	Mar. 31, 2020 USD ($)
Leases [Abstract]
Lessee, Operating Lease, Liability, Payments, Remainder of Fiscal Year	$ 1.1
Lessee, Operating Lease, Liability, Payments, Due Year Two	4.9
Lessee, Operating Lease, Liability, Payments, Due Year Three	4.7
Lessee, Operating Lease, Liability, Payments, Due Year Four	4.1
Lessee, Operating Lease, Liability, Payments, Due Year Five	3.4
Lessee, Operating Lease, Liability, Payments, Due after Year Five	7.0
Lessee, Operating Lease, Liability, Payments, Due	25.2
Lessee, Operating Lease, Liability, Undiscounted Excess Amount	3.2
Operating Lease, Liability	$ 22.0