Statements of Comprehensive Income (Parenthetical) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Statement of Comprehensive Income [Abstract]
Change in unrealized gains on securities, taxes	$ (0.3)	$ 0.3	$ 0.1

Amount of tax expense (benefit), after reclassification adjustments, of appreciation (loss) in value of unsold available-for-sale securities. Excludes amounts related to other than temporary impairment (OTTI) loss.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 10A
-Subparagraph (e)
-URI http://asc.fasb.org/extlink&oid=118930883&loc=SL7669646-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 http://asc.fasb.org/extlink&oid=118930883&loc=SL7669646-108580

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 12
-URI http://asc.fasb.org/extlink&oid=118930883&loc=d3e640-108580

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