v3.20.2
Leases - Lease cost (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Sep. 30, 2020
Sep. 30, 2019
Sep. 30, 2020
Sep. 30, 2019
Lease cost:        
Operating lease cost $ 0.5 $ 0.5 $ 1.6 $ 1.3
Sublease income (0.3) (0.3) (0.8) (0.9)
Total lease cost $ 0.2 $ 0.2 $ 0.8 $ 0.4