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