Leases - Lease term and discount rates information (Details)	Dec. 31, 2019
Leases
Operating leases (in years)	3 years 11 months 23 days
Finance leases (in years)	5 years 2 months 1 day
Operating leases (as a percent)	5.29%
Finance leases (as a percent)	4.01%