Note 6. Leases (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2019	Sep. 30, 2018	Sep. 30, 2019	Sep. 30, 2018
Leases [Abstract]
Operating lease expense	$ 41	$ 29	$ 124	$ 88
Variable lease expense	41	29	120	96
Rent expense	$ 82	$ 58	$ 244	$ 184