Fair Value Measurements - Carrying and Fair Value of Financial Instruments (Details) - USD ($) $ in Thousands	Dec. 31, 2019	Dec. 31, 2018
Liabilities
Total notes payable	$ 164,693	$ 182,355
Carrying Value
Assets
Commercial levered loans	14,069	16,915
Liabilities
Notes payable	165,000	183,000
Unamortized debt issuance costs	(307)	(645)
Total notes payable	164,693	182,355
Fair Value
Assets
Commercial levered loans	13,950	15,858
Liabilities
Notes payable	$ 167,507	$ 183,999
Fair value of the notes payable as a percentage of par value	101.50%	100.50%
Level 2 \| Fair Value
Liabilities
Notes payable	$ 167,507	$ 183,999
Level 3 \| Fair Value
Assets
Commercial levered loans	$ 13,950	$ 15,858

Fair value portion of commercial levered loans.

No definition available.

Name:	pros_CommercialLeveredLoansFairValueDisclosure
Namespace Prefix:	pros_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Represents the fair value of the notes payable as a percentage of par value.

+ References

No definition available.

+ Details

Name:	pros_NotesPayablePercentageOfParValueFairValueDisclosure
Namespace Prefix:	pros_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

- References

No definition available.

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Including the current and noncurrent portions, aggregate carrying amount of all types of notes payable, as of the balance sheet date, with initial maturities beyond one year or beyond the normal operating cycle, if longer.

+ References

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)(16))
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

Reference 2: 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(22))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

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

+ Details

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

- Definition

Fair value portion of notes payable.

+ References

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.19,20,22)
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

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

- Definition

The remaining balance of debt issuance expenses that were capitalized and are being amortized against income over the lives of the respective bond issues. This does not include the amounts capitalized as part of the cost of the utility plant or asset.

+ References

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.17)
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

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

- Details

Name:	us-gaap_FairValueByMeasurementBasisAxis=us-gaap_CarryingReportedAmountFairValueDisclosureMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FairValueByMeasurementBasisAxis=us-gaap_EstimateOfFairValueFairValueDisclosureMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FairValueByFairValueHierarchyLevelAxis=us-gaap_FairValueInputsLevel2Member
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FairValueByFairValueHierarchyLevelAxis=us-gaap_FairValueInputsLevel3Member
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: