Note 9. Leases (Details) - USD ($) $ in Thousands	12 Months Ended
	Dec. 31, 2019	Dec. 31, 2018
Leases [Abstract]
Operating lease expense	$ 241	$ 118
Variable lease expense	133	137
Rent expense	$ 374	$ 255