XML 28 R42.htm IDEA: XBRL DOCUMENT v3.19.3
Lease (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Sep. 13, 2019
Sep. 30, 2019
Sep. 30, 2018
Sep. 30, 2019
Sep. 30, 2018
Lease          
Lease termination fees $ 0.6        
Operating lease expense   $ 0.1 $ 0.1 $ 0.3 $ 0.3