Note 6. Leases (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Jun. 30, 2019	Jun. 30, 2018	Jun. 30, 2019	Jun. 30, 2018
Leases [Abstract]
Operating lease expense	$ 42	$ 30	$ 83	$ 59
Variable lease expense	34	20	58	40
Rent expense	$ 76	$ 50	$ 141	$ 99