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

Common shares cancelled as per terms of the separation agreement.

No definition available.

Name:	pros_StockCancelledDuringPeriodSeparationAgreement
Namespace Prefix:	pros_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

Carrying amount as of the balance sheet date of obligations due all related parties.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.4-08.(k)(1))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e23780-122690

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.17)
-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 850
-SubTopic 10
-Section 50
-Paragraph 1
-Subparagraph (d)
-URI http://asc.fasb.org/extlink&oid=6457730&loc=d3e39549-107864

Reference 4: 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(3),(4))
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

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

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_RelatedPartyTransactionLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

Amount of expenses for special or contractual termination benefits provided to current employees involuntarily terminated under a benefit arrangement associated exit or disposal activities pursuant to an authorized plan. Excludes expenses related to one-time termination benefits, a discontinued operation or an asset retirement obligation.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 420
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 5.P.3)
-URI http://asc.fasb.org/extlink&oid=115931487&loc=d3e140864-122747

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 420
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SAB Topic 5.P.4(b))
-URI http://asc.fasb.org/extlink&oid=115931487&loc=d3e140904-122747

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 420
-SubTopic 10
-Section 50
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=6394359&loc=d3e17939-110869

Reference 4: 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_SeveranceCosts1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

Name:	us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=srt_ExecutiveOfficerMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=pros_FormerChiefExecutiveOfficerMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	us-gaap_IncomeStatementLocationAxis=us-gaap_OtherExpenseMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: