Operating Leases, as Lessee (Narrative) (Details) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2018	Dec. 31, 2017	Dec. 31, 2016
Operating Leased Assets [Line Items]
Rent expense under operating leases	$ 15.4	$ 17.9	$ 20.1
Capitalized rent	$ 0.0	$ 0.0	$ 0.1
Santa Clara [Member]
Operating Leased Assets [Line Items]
Sublease expiration period	2052-10

Rental expense for the reporting period incurred under operating leases, including minimum and any contingent rent expense, net of related sublease income.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=77902758&loc=d3e41499-112717

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