Revenue and Expense from Contracts with Customers 1 (Details)
|
Dec. 31, 2019 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-05-01 |
|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] |
|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period |
120 days
|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-07-01 |
|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] |
|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period |
180 days
|