XML 92 R71.htm IDEA: XBRL DOCUMENT v3.10.0.1
Marketable Securities - Maturity Period (Details)
$ in Thousands
5 Months Ended
Dec. 31, 2018
USD ($)
Debt Securities, Available-for-sale [Line Items]  
Due within one year $ 37,121
Variable rate demand notes  
Debt Securities, Available-for-sale [Line Items]  
Due within one year $ 4,000
Variable rate demand notes | Minimum  
Debt Securities, Available-for-sale [Line Items]  
Contractual maturities (in years) 27 years
Settlement basis period (in days) 1 day
Effective maturity period (in days) 1 day
Variable rate demand notes | Maximum  
Debt Securities, Available-for-sale [Line Items]  
Contractual maturities (in years) 30 years
Settlement basis period (in days) 7 days
Effective maturity period (in days) 9 days