Note 6. Leases (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Jun. 30, 2020	Jun. 30, 2019	Jun. 30, 2020	Jun. 30, 2019
Leases [Abstract]
Operating lease expense	$ 87	$ 41	$ 174	$ 82
Variable lease expense	34	43	66	85
Total lease expense	$ 121	$ 84	$ 240	$ 167