v3.20.1
Leases - Lease cost (Details)
$ in Millions
3 Months Ended
Mar. 31, 2020
USD ($)
Lease cost:  
Operating lease cost $ 0.5
Sublease income (0.3)
Total lease cost $ 0.2