Insurance Operations - Quota Share Arrangements (Details) - USD ($) $ in Thousands	3 Months Ended	9 Months Ended
Sep. 30, 2019	Sep. 30, 2018	Sep. 30, 2019	Sep. 30, 2018
Insurance activity
Ceded earned premium	$ 28,281	$ 26,579	$ 86,157	$ 94,900
Increase/reduction to pre-tax income	(10,376)	(19,412)	(39,005)	(50,355)
Whole Account Quota Share Reinsurance Agreement
Insurance activity
Ceded written premium (return of ceded prepaid)	6	55	3	(68,745)
Ceded earned premium		56		14,600
Ceded earned premium			(3)
(Increase) reduction to net loss and loss adjustment expenses incurred	(1,632)	874	(3,839)	9,422
Reduction (increase) to policy acquisition expenses	$ 1,632	(823)	3,837	4,083
Increase/reduction to pre-tax income		$ 5	$ (1)	$ 1,095

Amount of adjustments to earned premiums ceded to other entities.

No definition available.

Name:	pros_CededPremiumsEarnedAdjustments
Namespace Prefix:	pros_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Net amount of written premiums ceded (prepaid returned) to other entities.

+ References

No definition available.

+ Details

Name:	pros_CededWrittenPremiumPrepaidReturnedNet
Namespace Prefix:	pros_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Increase (decrease) to net loss and loss adjustment expenses incurred.

+ References

No definition available.

+ Details

Name:	pros_NetLossAndLossAdjustmentExpensesIncurredNet
Namespace Prefix:	pros_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of earned premiums ceded to other entities.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 235
-Section S99
-Paragraph 2
-Subparagraph (SX 210.12-17(Column C))
-URI http://asc.fasb.org/extlink&oid=34713774&loc=d3e574992-122915

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(1))
-URI http://asc.fasb.org/extlink&oid=116637232&loc=SL114874131-224263

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 605
-Section 50
-Paragraph 1
-Subparagraph (c)(2)
-URI http://asc.fasb.org/extlink&oid=6486672&loc=d3e27261-158547

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 605
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=84167274&loc=d3e27175-158546

Reference 5: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 605
-Section 50
-Paragraph 1
-Subparagraph (a)(2)
-URI http://asc.fasb.org/extlink&oid=6486672&loc=d3e27261-158547

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 605
-Section 50
-Paragraph 1
-Subparagraph (b)(3)
-URI http://asc.fasb.org/extlink&oid=6486672&loc=d3e27261-158547

+ Details

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

- Definition

Amount of increase (decrease) in deferred policy acquisition cost.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 30
-Section 50
-Paragraph 2B
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=117419109&loc=SL117422543-158416

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 40
-Section 65
-Paragraph 2
-Subparagraph (g)(1)
-URI http://asc.fasb.org/extlink&oid=117419843&loc=SL117420844-207641

+ Details

Name:	us-gaap_DeferredPolicyAcquisitionCostsPeriodIncreaseDecrease
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of income (loss) from continuing operations before deduction of income tax expense (benefit) and income (loss) attributable to noncontrolling interest, and addition of income (loss) from equity method investments.

+ 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.(h)(1)(i))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e23780-122690

+ Details

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

- References

No definition available.

+ Details

Name:	us-gaap_PremiumsWrittenAndEarnedAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Details

Name:	us-gaap_TypeOfArrangementAxis=pros_WholeAccountQuotaShareReinsuranceAgreementMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: