Statutory Financial Information (Details) - USD ($) $ in Thousands	12 Months Ended
Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Statutory Financial Information
Maximum dividend that can be paid without the prior approval from the New York State Department of Financial Services	$ 54,700
Combined statutory net income	55,681	$ 33,147	$ 26,303
Combined statutory surplus	$ 568,777	$ 473,575	$ 433,946

No definition available.

Name:	pros_StatutoryFinancialInformationDisclosureAbstract
Namespace Prefix:	pros_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of dividends that can be declared or paid without approval of regulatory agency.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.4-08.(e))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e23780-122690

+ Details

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

- Definition

The amount of statutory capital and surplus (stockholders' equity) as of the balance sheet date using prescribed or permitted statutory accounting practices (rather than GAAP, if different) of the state or country.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(23)(c))
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 505
-Section 50
-Paragraph 1
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=6486098&loc=d3e24708-158529

+ Details

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

- Definition

Amount of net income for the period determined using accounting principles prescribed or permitted by insurance regulators.

+ References

+ Details

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