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

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

No definition available.

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

Percentage of average annual payout, after reinsurance, in the eighth year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 40
-Section 50
-Paragraph 4G
-URI http://asc.fasb.org/extlink&oid=116884468&loc=SL65671329-158438

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearEight
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Percentage of average annual payout, after reinsurance, in the fifth year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearFive
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Percentage of average annual payout, after reinsurance, in the fourth year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearFour
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Percentage of average annual payout, after reinsurance, in the ninth year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearNine
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Percentage of average annual payout, after reinsurance, in the first year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearOne
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Percentage of average annual payout, after reinsurance, in the seventh year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearSeven
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Percentage of average annual payout, after reinsurance, in the sixth year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearSix
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Percentage of average annual payout, after reinsurance, in the tenth year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearTen
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Percentage of average annual payout, after reinsurance, in the third year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearThree
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Percentage of average annual payout, after reinsurance, in the second year after a claim is incurred, beginning with the earliest accident year disclosed for short-duration insurance contracts.

Name:	us-gaap_ShortdurationInsuranceContractsHistoricalClaimsDurationYearTwo
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

Name:	srt_ProductOrServiceAxis=pros_CommercialAutoMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	srt_ProductOrServiceAxis=us-gaap_GeneralLiabilityMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	srt_ProductOrServiceAxis=pros_WorkersCompensationMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	srt_ProductOrServiceAxis=pros_CommercialMultiplePerilMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: