v3.19.3.a.u2
Leases - Lease cost (Details)
$ in Millions
12 Months Ended
Dec. 31, 2019
USD ($)
Lease cost:  
Operating lease cost $ 1.9
Short-term lease cost 0.1
Sublease income (1.2)
Total lease cost $ 0.8