Revenue from Contracts with Customers - Unsatisfied Performance Obligations Amount (Details) $ in Millions	Mar. 31, 2020 USD ($)
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 145.8
Subscription services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	138.1
Other business services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	7.7
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-04-01
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 62.0
Expected period to recognize revenue of remaining performance obligations	9 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-04-01 | Maximum
Unsatisfied Performance Obligations
Expected period to recognize revenue of remaining performance obligations	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-04-01 | Subscription services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 58.9
Expected period to recognize revenue of remaining performance obligations	9 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-04-01 | Other business services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 3.1
Expected period to recognize revenue of remaining performance obligations	9 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-01-01
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 53.0
Expected period to recognize revenue of remaining performance obligations	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-01-01 | Subscription services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 50.2
Expected period to recognize revenue of remaining performance obligations	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-01-01 | Other business services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 2.8
Expected period to recognize revenue of remaining performance obligations	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-01-01
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 22.2
Expected period to recognize revenue of remaining performance obligations	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-01-01 | Subscription services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 20.9
Expected period to recognize revenue of remaining performance obligations	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-01-01 | Other business services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 1.3
Expected period to recognize revenue of remaining performance obligations	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-01-01
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 8.6
Expected period to recognize revenue of remaining performance obligations
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-01-01 | Subscription services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 8.1
Expected period to recognize revenue of remaining performance obligations
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-01-01 | Other business services
Unsatisfied Performance Obligations
Expected revenue to be recognized in future periods	$ 0.5
Expected period to recognize revenue of remaining performance obligations