Employee Benefits (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2020	Sep. 30, 2019	Sep. 30, 2020	Sep. 30, 2019
Retirement Benefits [Abstract]
Net periodic pension expense	$ 1.2	$ 0.9	$ 3.3	$ 2.6