Quarterly report pursuant to Section 13 or 15(d)

Revenue (Remaining Performance Obligations) (Details)

v3.10.0.1
Revenue (Remaining Performance Obligations) (Details)
$ in Millions
Sep. 30, 2018
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2018-10-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, remaining performance obligation $ 56.0
Revenue, remaining performance obligation, period 3 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2019-01-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, remaining performance obligation $ 221.2
Revenue, remaining performance obligation, period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-01-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, remaining performance obligation $ 199.5
Revenue, remaining performance obligation, period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-01-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, remaining performance obligation $ 124.2
Revenue, remaining performance obligation, period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-01-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue, remaining performance obligation $ 107.5
Revenue, remaining performance obligation, period 1 year