Note 7. Revenue (Details) - USD ($) $ in Thousands	3 Months Ended
	Mar. 31, 2020	Mar. 31, 2019
Revenues	$ 4,016	$ 4,179
Percentage of revenue from revenue streams	100.00%	100.00%
Platform and Technology
Revenues	$ 2,685	$ 2,665
Percentage of revenue from revenue streams	66.90%	63.80%
Services
Revenues	$ 1,331	$ 1,514
Percentage of revenue from revenue streams	33.10%	36.20%