XML 93 R77.htm IDEA: XBRL DOCUMENT v3.20.2
Operating Lease Agreements - Additional Information (Details 1) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2020-07-01
$ in Millions
Jun. 30, 2020
USD ($)
Disaggregation Of Revenue [Line Items]  
Expects to receive future minimum lease payments from July 1, 2020 through June 30, 2021 $ 11.3
Expected time to receive future minimum lease payments, period 1 year