Leases - Lease Expense for the Operating and Short-term Leases (Details) $ in Thousands	12 Months Ended
	Dec. 31, 2019 USD ($)
Leases
Operating lease expense	$ 3,952
Short-term lease expense	434
Total lease expense	$ 4,386