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

Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for more than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 5
-URI http://asc.fasb.org/extlink&oid=118955579&loc=SL82922890-210455

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 7
-URI http://asc.fasb.org/extlink&oid=118939692&loc=d3e27337-111563

Reference 3: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 55
-Paragraph 8
-URI http://asc.fasb.org/extlink&oid=118942371&loc=SL82922954-210456

Name:	us-gaap_DebtSecuritiesAvailableForSaleContinuousUnrealizedLossPosition12MonthsOrLonger
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of accumulated unrealized loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for 12 months or longer, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

Name:	us-gaap_DebtSecuritiesAvailableForSaleContinuousUnrealizedLossPosition12MonthsOrLongerAccumulatedLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for less than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 7
-URI http://asc.fasb.org/extlink&oid=118939692&loc=d3e27337-111563

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 5
-URI http://asc.fasb.org/extlink&oid=118955579&loc=SL82922890-210455

Reference 3: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 55
-Paragraph 8
-URI http://asc.fasb.org/extlink&oid=118942371&loc=SL82922954-210456

Name:	us-gaap_DebtSecuritiesAvailableForSaleContinuousUnrealizedLossPositionLessThan12Months
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of accumulated unrealized loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for less than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

Name:	us-gaap_DebtSecuritiesAvailableForSaleContinuousUnrealizedLossPositionLessThan12MonthsAccumulatedLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in unrealized loss position without allowance for credit loss.

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 4
-Subparagraph (a)(1)
-URI http://asc.fasb.org/extlink&oid=118955579&loc=SL82922888-210455

Reference 3: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 55
-Paragraph 8
-URI http://asc.fasb.org/extlink&oid=118942371&loc=SL82922954-210456

Name:	us-gaap_DebtSecuritiesAvailableForSaleUnrealizedLossPosition
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of accumulated unrealized loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in unrealized loss position, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

Name:	us-gaap_DebtSecuritiesAvailableForSaleUnrealizedLossPositionAccumulatedLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Number of investments in debt securities measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in unrealized loss position, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

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

Amount of other-than-temporary impairment (OTTI) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), recognized in earnings.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 8A
-URI http://asc.fasb.org/extlink&oid=118954083&loc=SL6284422-111562

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

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_USTreasurySecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_USGovernmentCorporationsAndAgenciesSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_CorporateDebtSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_MunicipalNotesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_AssetBackedSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_CollateralizedDebtObligationsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_CommercialMortgageBackedSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_FinancialInstrumentAxis=pros_ResidentialMortgageBackedSecuritiesNonAgencyMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: