Lease Cost (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Leases [Abstract]
Operating lease cost	$ 12.9
Short-term lease cost	0.8
Variable lease cost	3.3
Total lease cost	$ 17.0	$ 14.5	$ 13.3