Leases, Additional Details (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2020	Sep. 30, 2019	Sep. 30, 2020	Sep. 30, 2019
Lessee, lease, description
Operating lease, weighted-average remaining lease term	8 years 2 months 12 days		8 years 2 months 12 days
Operating lease, weighted-average discount rate (as a percentage)	4.20%		4.20%
Operating lease costs	$ 1.8	$ 2.2	$ 7.7	$ 6.7
Operating lease payments			$ 5.6	$ 7.8
Minimum
Lessee, lease, description
Lessee, operating lease, remaining lease term	1 year		1 year
Maximum
Lessee, lease, description
Lessee, operating lease, remaining lease term	10 years		10 years