Annual report pursuant to Section 13 and 15(d)

Employee Benefit Plans (Details)

v3.19.3.a.u2
Employee Benefit Plans (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2019
Dec. 31, 2018
Dec. 31, 2017
Retirement Benefits [Abstract]      
Cash contributions $ 10.6 $ 11.0 $ 0.2