Consolidated Statements of Comprehensive (Loss) Income (Parenthetical) - USD ($) $ in Thousands	3 Months Ended
Mar. 31, 2020	Mar. 31, 2019
Consolidated Statements of Comprehensive (Loss) Income
Change in unrealized holding (losses) gains on securities, deferred tax (benefit) expense	$ (16,102)	$ 7,241
Reclassification adjustment for (losses) gains included in net income, tax expense (benefit)	136	(24)
Reclassification adjustment for credit losses included in net income, tax expense (benefit)	$ (87)	$ 0

Tax expense on reclassification adjustment from accumulated other comprehensive income (loss) for credit loss.

No definition available.

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

- Definition

Amount of tax expense (benefit) of reclassification adjustment from accumulated other comprehensive income for unrealized gain (loss) realized upon the sale of available-for-sale securities.

+ References

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 http://asc.fasb.org/extlink&oid=118930883&loc=d3e640-108580

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 9
-Subparagraph (d)
-URI http://asc.fasb.org/extlink&oid=118939692&loc=d3e27357-111563

+ Details

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

- Definition

Amount of tax expense (benefit) before reclassification adjustments of unrealized holding gain (loss) on available-for-sale securities.

+ References

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 http://asc.fasb.org/extlink&oid=118930883&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 http://asc.fasb.org/extlink&oid=118930883&loc=SL7669646-108580

+ Details

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

- References

No definition available.

+ Details

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