Note 7. Revenue (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2020	Sep. 30, 2019	Sep. 30, 2020	Sep. 30, 2019
Revenues	$ 4,882	$ 4,019	$ 13,782	$ 12,336
Percentage of revenue from revenue streams	100.00%	100.00%	100.00%	100.00%
Platform and Technology
Revenues	$ 3,613	$ 2,712	$ 9,599	$ 8,038
Percentage of revenue from revenue streams	74.00%	67.50%	69.60%	65.20%
Services
Revenues	$ 126	$ 1,307	$ 4,183	$ 4,298
Percentage of revenue from revenue streams	26.00%	32.50%	30.40%	34.80%