Leases (Details) $ in Millions	12 Months Ended
	Dec. 31, 2019 USD ($)
Leases [Abstract]
Expenses under operating leases	$ 20.2
Expenses under finance leases	3.1
Variable lease costs	$ 3.4