Leases - Components of operating lease expense (Details) $ in Thousands	12 Months Ended
	Dec. 31, 2019 USD ($)
Leases
Operating lease cost	$ 11,052
Short-term and variable lease cost	4,726
Total operating lease costs	$ 15,778