Investments (Narrative) (Details) $ in Millions	3 Months Ended	9 Months Ended
Sep. 30, 2018 USD ($) security	Sep. 30, 2017 USD ($)	Sep. 30, 2018 USD ($) security	Sep. 30, 2017 USD ($)	Dec. 31, 2017 security
Gross gains on investments	$ 0.3	$ 3.4	$ 0.9	$ 6.4
Gross losses on investments	0.5	0.2	0.7	0.7
Proceeds from sale of investment securities	$ 0.4	$ 11.4	$ 14.6	$ 19.4
Equity Securities [Member]
Number of debt security positions, greater than 12 months \| security	2		2
Debt Securities [Member]
Number of debt security positions, greater than 12 months \| security	64		64		25

This item represents the gross profit realized on the sale of debt or equity securities categorized neither as held-to-maturity nor trading securities.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 9
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27357-111563

+ Details

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

- Definition

This item represents the gross loss realized on the sale of debt or equity securities categorized neither as held-to-maturity nor trading securities.

+ References

+ Details

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

- Definition

Number of investment positions in available-for-sale investments that have been in a continuous unrealized loss position for greater than or equal to a year for which an other-than-temporary impairment (OTTI) has not been recognized in the income statement.

+ References

No definition available.

+ Details

Name:	us-gaap_AvailableforsaleSecuritiesInUnrealizedLossPositionsQualitativeDisclosureNumberOfPositionsGreaterThanOrEqualToOneYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:integerItemType
Balance Type:	na
Period Type:	instant

- Definition

The cash inflow associated with the sale of debt and equity securities classified as available-for-sale securities.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=82896770&loc=d3e26853-111562

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

+ Details

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

- Details

Name:	us-gaap_MajorTypesOfDebtAndEquitySecuritiesAxis=us-gaap_EquitySecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_MajorTypesOfDebtAndEquitySecuritiesAxis=us-gaap_DebtSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: