Note 11. Leases (Details) - USD ($) $ in Thousands		3 Months Ended	6 Months Ended
		Jun. 30, 2019	Jun. 30, 2019
Finance lease costs:
Amortization of right-of-use assets		$ 487	$ 979
Interest on lease liabilities		215	422
Operating lease costs	[1]	4,003	7,860
Total lease costs		$ 4,705	$ 9,261

[1] Includes short-term leases, variable lease costs and sublease income, which are immaterial.