Employee Benefit Plans (Narrative) (Details) - USD ($) $ in Millions	3 Months Ended		12 Months Ended
	Mar. 31, 2020	Mar. 31, 2019	Dec. 31, 2019
Retirement Benefits [Abstract]
Defined benefit plan, expected future employer contributions, remainder of fiscal year	$ 1.0
Defined Benefit Plan, Plan Assets, Contributions by Employer			$ 1.0
Defined contribution plan, compensation expense	$ 1.1	$ 1.0