Note 6. Leases - Components of Lease Expense (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
	Dec. 31, 2019	Dec. 31, 2019
Operating lease expense	$ 0.8	$ 1.6
Variable lease expense	0.6	1.3
Total lease expense	$ 1.4	$ 2.9