Note 6. Leases (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2020	Sep. 30, 2019	Sep. 30, 2020	Sep. 30, 2019
Leases [Abstract]
Operating lease expense	$ 87	$ 41	$ 261	$ 124
Variable lease expense	33	52	99	136
Total lease expense	$ 120	$ 93	$ 360	$ 260