Note 7. Revenue (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Jun. 30, 2020	Jun. 30, 2019	Jun. 30, 2020	Jun. 30, 2019
Revenues	$ 4,884	$ 4,138	$ 8,900	$ 8,317
Percentage of revenue from revenue streams	100.00%	100.00%	100.00%	100.00%
Platform and Technology
Revenues	$ 3,301	$ 2,661	$ 5,986	$ 5,326
Percentage of revenue from revenue streams	67.60%	64.30%	67.30%	64.00%
Services
Revenues	$ 1,583	$ 1,477	$ 2,914	$ 2,991
Percentage of revenue from revenue streams	32.40%	35.70%	32.70%	36.00%