Consolidated Statements of Comprehensive (Loss) Income - USD ($) $ in Thousands	3 Months Ended
Mar. 31, 2020	Mar. 31, 2019
Consolidated Statements of Comprehensive (Loss) Income
Net income	$ 7,068	$ 13,440
Other comprehensive (loss) income, net of taxes:
Change in unrealized holding (losses) gains on available-for-sale debt securities, net of deferred tax (benefit) expense of $(16,102) in 2020 and $7,241 in 2019	(60,964)	27,562
Less: reclassification adjustment for gains (losses) included in net income, net of tax expense (benefit) of $136 in 2020 and $(24) in 2019	806	(190)
Less: reclassification adjustment for credit losses included in net income, net of tax benefit of $(87) in 2020 and $0 in 2019	(329)
Other comprehensive (loss) income	(61,441)	27,752
Comprehensive (loss) income	$ (54,373)	$ 41,192

Amount, net of tax, of reclassification adjustment from accumulated other comprehensive income (loss) for credit loss

No definition available.

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

- Definition

Amount after tax of increase (decrease) in equity from transactions and other events and circumstances from net income and other comprehensive income, attributable to parent entity. Excludes changes in equity resulting from investments by owners and distributions to owners.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 5
-URI http://asc.fasb.org/extlink&oid=118930883&loc=d3e557-108580

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 1B
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=118930883&loc=SL7669625-108580

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

+ Details

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

- References

No definition available.

+ Details

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

- Definition

The portion of profit or loss for the period, net of income taxes, which is attributable to the parent.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 1A
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=118930883&loc=SL7669619-108580

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-04(22))
-URI http://asc.fasb.org/extlink&oid=116637391&loc=SL114874048-224260

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

Reference 4: 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(18))
-URI http://asc.fasb.org/extlink&oid=116637232&loc=SL114874131-224263

Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(20))
-URI http://asc.fasb.org/extlink&oid=116634182&loc=SL114868664-224227

Reference 6: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 28
-URI http://asc.fasb.org/extlink&oid=118932676&loc=d3e3602-108585

Reference 7: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 260
-SubTopic 10
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=6371337&loc=d3e3550-109257

+ Details

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

- Definition

Amount after tax of other comprehensive income (loss) attributable to parent entity.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 1B
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=118930883&loc=SL7669625-108580

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 810
-SubTopic 10
-Section 50
-Paragraph 1A
-Subparagraph (c)(3)
-URI http://asc.fasb.org/extlink&oid=109239629&loc=SL4573702-111684

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 810
-SubTopic 10
-Section 45
-Paragraph 20
-URI http://asc.fasb.org/extlink&oid=108774443&loc=SL4569643-111683

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 1A
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=118930883&loc=SL7669619-108580

Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 810
-SubTopic 10
-Section 45
-Paragraph 19
-URI http://asc.fasb.org/extlink&oid=108774443&loc=SL4569616-111683

+ Details

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

- Definition

Amount after tax 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 15
-URI http://asc.fasb.org/extlink&oid=118930883&loc=d3e689-108580

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=118930883&loc=d3e637-108580

Reference 3: 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

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

+ Details

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

- Definition

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

+ References

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

+ Details

Name:	us-gaap_OtherComprehensiveIncomeUnrealizedHoldingGainLossOnSecuritiesArisingDuringPeriodNetOfTax
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
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