Revenue Recognition and Contracts with Customers (Contract with Customer Asset and Liability) (Details) - USD ($) $ in Millions	3 Months Ended
Mar. 31, 2018	Mar. 31, 2017	Jan. 01, 2018	Dec. 31, 2017
Revenue from Contract with Customer [Abstract]
Billed accounts receivable	$ 15.0		$ 60.2
Unbilled contract revenue			0.1
Accounts receivable, net	15.0		60.3	$ 60.2
Increase (Decrease) in Accounts Receivable	(45.2)	$ (23.0)
Deferred costs associated with deferred revenue	119.6		122.3	122.3
Deferred revenue	169.9		172.5
Deferred revenue, net of deferred costs – increase (decrease)	(18.9)	$ 0.0
Advances from customers	0.3		19.3
Deferred revenue and advances from customers	$ 170.2		$ 191.8	$ 191.8

Amount due from customers or clients, within one year of the balance sheet date (or the normal operating cycle, whichever is longer), for goods or services (including trade receivables) that have been delivered or sold in the normal course of business, reduced to the estimated net realizable fair value by an allowance established by the entity of the amount it deems uncertain of collection.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(3))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(4))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_AccountsReceivableNetCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amounts due for billed services rendered or to be rendered, actions taken or to be taken, or a promise to refrain from taking certain actions in accordance with the terms of a legally binding agreement between the Company and, at a minimum, one other party. An example would be amounts billed to customers under contracts or programs but not paid as of the balance sheet date.

+ References

+ Details

Name:	us-gaap_BilledContractReceivables
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as current.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=82913847&loc=SL49130549-203045

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=82913815&loc=SL49130532-203044

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=82913815&loc=SL49130531-203044

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of deferred revenue as of balance sheet date. Deferred revenue represents collections of cash or other assets related to a revenue producing activity for which revenue has not yet been recognized. Generally, an entity records deferred revenue when it receives consideration from a customer before achieving certain criteria that must be met for revenue to be recognized in conformity with GAAP.

+ References

+ Details

Name:	us-gaap_DeferredRevenue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Total carrying amount of consideration received or receivable as of the balance sheet date on potential earnings that were not recognized as revenue or other forms of income in conformity with GAAP, and which are expected to be recognized as such within one year or the normal operating cycle, if longer.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 13.A.3(b).Q1(c))
-URI http://asc.fasb.org/extlink&oid=65893310&loc=d3e214044-122780

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 13.A.3(b).Q2)
-URI http://asc.fasb.org/extlink&oid=65893310&loc=d3e214044-122780

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 13.A.3(b))
-URI http://asc.fasb.org/extlink&oid=65893310&loc=d3e214044-122780

Reference 4: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB TOPIC 13.A.Q4)
-URI http://asc.fasb.org/extlink&oid=65893310&loc=d3e214044-122780

Reference 5: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 13.A.4(a).Q1)
-URI http://asc.fasb.org/extlink&oid=65893310&loc=d3e214044-122780

Reference 6: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 13.A.3(c).Q3)
-URI http://asc.fasb.org/extlink&oid=65893310&loc=d3e214044-122780

Reference 7: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02.20)
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 8: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 13.A.3)
-URI http://asc.fasb.org/extlink&oid=65893310&loc=d3e214044-122780

+ Details

Name:	us-gaap_DeferredRevenueAndCreditsCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

The increase (decrease) during the reporting period in amount due within one year (or one business cycle) from customers for the credit sale of goods and services.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 28
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=98514028&loc=d3e3602-108585

+ Details

Name:	us-gaap_IncreaseDecreaseInAccountsReceivable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

The increase (decrease) during the reporting period, excluding the portion taken into income, in the liability reflecting revenue yet to be earned for which cash or other forms of consideration was received or recorded as a receivable.

+ References

+ Details

Name:	us-gaap_IncreaseDecreaseInDeferredRevenue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Net amount of other deferred costs capitalized at the end of the reporting period. Does not include deferred finance costs or deferred acquisition costs of insurance companies.

+ References

+ Details

Name:	us-gaap_OtherDeferredCostsNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- References

No definition available.

+ Details

Name:	us-gaap_RevenueFromContractWithCustomerAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Unbilled amounts due for services rendered or to be rendered, actions taken or to be taken, or a promise to refrain from taking certain actions in accordance with the terms of a legally binding agreement between the entity and, at a minimum, one other party. An example would be amounts associated with contracts or programs where the recognized revenue for performance thereunder exceeds the amounts billed under the terms thereof as of the date of the balance sheet.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02.3(c)(3))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 912
-SubTopic 310
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=68054760&loc=d3e55302-109406

+ Details

Name:	us-gaap_UnbilledContractsReceivable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant