Name:	pros_SignificantAccountingPoliciesLineItems
Namespace Prefix:	pros_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

Aggregate dividends declared during the period for each share of common stock outstanding.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 505
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.3-04)
-URI http://asc.fasb.org/extlink&oid=27012166&loc=d3e187085-122770

Name:	us-gaap_CommonStockDividendsPerShareDeclared
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	duration

Face amount or stated value per share of common stock.

Name:	us-gaap_CommonStockParOrStatedValuePerShare
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	instant

The number of new shares issued in the conversion of stock in a noncash (or part noncash) transaction. Noncash is defined as transactions during a period that do not result in cash receipts or cash payments in the period. "Part noncash" refers to that portion of the transaction not resulting in cash receipts or cash payments in the period.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 50
-Paragraph 5
-URI http://asc.fasb.org/extlink&oid=98513485&loc=d3e4332-108586

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 50
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=98513485&loc=d3e4313-108586

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 50
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=98513485&loc=d3e4304-108586

Name:	us-gaap_ConversionOfStockSharesIssued1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

The amount of expense recognized in the current period that reflects the allocation of the cost of tangible assets over the assets' useful lives. Includes production and non-production related depreciation.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 360
-SubTopic 10
-Section 50
-Paragraph 1
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=6391035&loc=d3e2868-110229

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

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

Percentage of domestic federal statutory tax rate applicable to pretax income (loss).

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB TOPIC 6.I)
-URI http://asc.fasb.org/extlink&oid=116825942&loc=d3e330036-122817

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 12
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32687-109319

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 13
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32698-109319

Name:	us-gaap_EffectiveIncomeTaxRateReconciliationAtFederalStatutoryIncomeTaxRate
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

The carrying value as of the balance sheet date of the estimated valuation allowance to reduce gross premiums receivable to net realizable value.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(5))
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 20
-Section 50
-Paragraph 13
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=119407570&loc=SL82919249-210447

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 20
-Section 50
-Paragraph 13
-Subparagraph (f)
-URI http://asc.fasb.org/extlink&oid=119407570&loc=SL82919249-210447

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 310
-SubTopic 10
-Section 50
-Paragraph 11B
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=118936363&loc=SL6953423-111524

Reference 5: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 310
-SubTopic 10
-Section 50
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=118936363&loc=d3e5074-111524

Name:	us-gaap_PremiumsReceivableAllowanceForDoubtfulAccounts
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Amount after accumulated depreciation, depletion and amortization of physical assets used in the normal conduct of business to produce goods and services and not intended for resale. Examples include, but are not limited to, land, buildings, machinery and equipment, office equipment, and furniture and fixtures.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(14))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 360
-SubTopic 10
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=6391035&loc=d3e2868-110229

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(8))
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(13))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

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

Useful life of long lived, physical assets used in the normal conduct of business and not intended for resale, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. Examples include, but not limited to, land, buildings, machinery and equipment, office equipment, furniture and fixtures, and computer equipment.

No definition available.

Name:	us-gaap_PropertyPlantAndEquipmentUsefulLife
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

Amount of increase (decrease) in accumulated other comprehensive income (AOCI) for reclassification to retained earnings of tax effect from remeasurement of deferred tax pursuant to Tax Cuts and Jobs Act.

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

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

Current year monetary amount of the change in worker's compensation reserve liability resulting from the discount applied to reduce the reserve to present value.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03.(a),13(b))
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

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

Percent discount applied to worker's compensation reserve liability to reduce the reserve to present value.

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

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03.13(b))
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 40
-Section 50
-Paragraph 6
-URI http://asc.fasb.org/extlink&oid=117419472&loc=d3e14931-158439

Name:	us-gaap_WorkersCompensationDiscountPercent
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

Carrying value as of the balance sheet date of obligations and payables pertaining to claims incurred of a workers compensation nature.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(15)(5))
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(15)(a))
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(20))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(24))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Name:	us-gaap_WorkersCompensationLiabilityCurrentAndNoncurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Name:	us-gaap_AdjustmentsForNewAccountingPronouncementsAxis=us-gaap_AccountingStandardsUpdate201802Member
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	srt_RangeAxis=srt_MinimumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	srt_RangeAxis=srt_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_PropertyPlantAndEquipmentByTypeAxis=pros_PropertyEquipmentAndLeaseholdImprovementsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: