Leases (Narrative) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2020	Jun. 30, 2019	Jun. 30, 2020	Jun. 30, 2019
Lessee, Lease, Description [Line Items]
Total minimum future lease payments	$ 1.3		$ 1.3
Rent expense	$ 5.2	$ 5.1	$ 10.6	$ 10.3
Minimum
Lessee, Lease, Description [Line Items]
Operating lease not yet commenced, lease term	5 years		5 years
Maximum
Lessee, Lease, Description [Line Items]
Operating lease not yet commenced, lease term	10 years		10 years