Consolidated Statements of Comprehensive Loss (Parenthetical) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2023	Jun. 30, 2022	Jun. 30, 2023	Jun. 30, 2022
Consolidated Statements of Comprehensive Loss
Unrealized losses on investments arising during period, net of tax	$ (0.9)	$ 2.0	$ 1.3	$ 4.7
Reclassification adjustment for net realized losses on investments, net of tax	$ (0.1)	$ (2.4)	$ (0.1)	$ (5.0)

Amount, before adjustment, of tax expense (benefit) for unrealized holding gain (loss) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale). Excludes tax expense (benefit) for unrealized gain (loss) on investment in debt security measured at amortized cost (held-to-maturity) from transfer to available-for-sale.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 12
-URI https://asc.fasb.org/extlink&oid=126968391&loc=d3e640-108580

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 10A
-Subparagraph (f)
-URI https://asc.fasb.org/extlink&oid=126968391&loc=SL7669646-108580

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