Percentage of awards granted that are time vesting.

No definition available.

Name:	pros_PercentageOfAwardsTimeVesting
Namespace Prefix:	pros_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

- Definition

Cliff vesting period after which grantee's right to exercise award under share-based payment arrangement is no longer contingent on satisfaction of service or performance condition, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. Includes, but is not limited to, combination of market, performance or service condition.

+ References

No definition available.

+ Details

Name:	pros_ShareBasedCompensationArrangementByShareBasedPaymentAwardAwardCliffVestingPeriod
Namespace Prefix:	pros_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

- Definition

The number of grants converted to similar awards during the period on other than stock (or unit) option plans.

+ References

No definition available.

+ Details

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

- Definition

The fair value at grant date for nonvested equity-based awards issued during the period on other than stock (or unit) option plans.

+ References

No definition available.

+ Details

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

- Definition

Number of equity instruments other than options subject to conversion into stock, including both vested and non-vested instruments.

+ References

No definition available.

+ Details

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

- Definition

Amount of expense for award under share-based payment arrangement. Excludes amount capitalized.

+ References

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

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 14.F)
-URI http://asc.fasb.org/extlink&oid=115993241&loc=d3e301413-122809

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (h)(1)(i)
-URI http://asc.fasb.org/extlink&oid=116856206&loc=d3e5070-113901

+ Details

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

- Definition

Aggregate number of common shares reserved for future issuance.

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

+ Details

Name:	us-gaap_CommonStockCapitalSharesReservedForFutureIssuance
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Amount of tax benefit for recognition of expense of award under share-based payment arrangement.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (h)(1)(i)
-URI http://asc.fasb.org/extlink&oid=116856206&loc=d3e5070-113901

+ Details

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

- Definition

The number of grants made during the period on other than stock (or unit) option plans (for example, phantom stock or unit plan, stock or unit appreciation rights plan, performance target plan).

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(2)(iii)(1)
-URI http://asc.fasb.org/extlink&oid=116856206&loc=d3e5070-113901

+ Details

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

- Definition

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.

+ References

No definition available.

+ Details

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

- Definition

Number of shares authorized for issuance under share-based payment arrangement.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (a)(3)
-URI http://asc.fasb.org/extlink&oid=116856206&loc=d3e5070-113901

+ Details

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardNumberOfSharesAuthorized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Percentage of vesting of award under share-based payment arrangement.

+ References

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

+ Details

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

- Details

Name:	us-gaap_AwardTypeAxis=us-gaap_RestrictedStockUnitsRSUMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_PlanNameAxis=pros_EquityIncentivePlan2019Member
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_AwardTypeAxis=pros_LongTermEquityIncentivePlanAwardsRsuMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_AwardTypeAxis=pros_LongTermEquityIncentivePlanAwardsTimeVestingRsuMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_VestingAxis=us-gaap_ShareBasedCompensationAwardTrancheOneMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_VestingAxis=us-gaap_ShareBasedCompensationAwardTrancheTwoMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_VestingAxis=us-gaap_ShareBasedCompensationAwardTrancheThreeMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_AwardTypeAxis=pros_LongTermEquityIncentivePlanAwardsPerformanceVestingRsuMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_AwardTypeAxis=pros_SupplementalRsusMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_VestingAxis=pros_ShareBasedPaymentArrangementGrantDateMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_AwardTypeAxis=pros_FoundersGrantAwardsRsusMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_AwardTypeAxis=pros_DirectorRsusMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_PlanNameAxis=pros_EquityIncentivePlan2010Member
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Share-Based Compensation - 2019 Equity Incentive Plan (Details) - USD ($) $ in Millions			4 Months Ended	12 Months Ended
	Nov. 15, 2019	Jul. 25, 2019	Nov. 15, 2019	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017	Jul. 24, 2019
Share-based Compensation
Share-based compensation expense				$ 8.6	$ 0.9	$ 1.5
Tax benefit, recognized on share based compensation expense				$ 1.8	$ 0.2	$ 0.5
Restricted stock units
Share-based Compensation
Restricted stock unit awards granted				1,732,869	13,992
Share-based Compensation Arrangement by Share-based Payment Award, Non-Option Equity Instruments, Subject to Conversion, Number				906,182	548,292	517,446
2019 Equity Incentive Plan
Share-based Compensation
Number of common stock authorized							4,500,000
Number of common shares reserved for issuance							4,500,000
2019 Equity Incentive Plan \| Long-term Equity Incentive Plan Awards (RSUs)
Share-based Compensation
Restricted stock unit awards granted		181,118
Grant date fair value		$ 2.5
2019 Equity Incentive Plan \| LTIP Time Vesting RSUs
Share-based Compensation
Restricted stock unit awards granted		90,559
2019 Equity Incentive Plan \| LTIP Time Vesting RSUs \| At One Year
Share-based Compensation
Vesting percentage		33.33%
2019 Equity Incentive Plan \| LTIP Time Vesting RSUs \| At Two Years
Share-based Compensation
Vesting percentage		33.33%
2019 Equity Incentive Plan \| LTIP Time Vesting RSUs \| At Three Years
Share-based Compensation
Vesting percentage		33.33%
2019 Equity Incentive Plan \| LTIP Performance Vesting RSUs
Share-based Compensation
Restricted stock unit awards granted		90,559
Cliff vesting period		3 years
2019 Equity Incentive Plan \| Supplemental RSUs
Share-based Compensation
Restricted stock unit awards granted		1,267,912
Percentage of time-vesting awards		100.00%
Grant date fair value		$ 17.8
2019 Equity Incentive Plan \| Supplemental RSUs \| At Grant Date
Share-based Compensation
Vesting percentage		25.00%
2019 Equity Incentive Plan \| Supplemental RSUs \| At Two Years
Share-based Compensation
Vesting percentage		25.00%
2019 Equity Incentive Plan \| Supplemental RSUs \| At Three Years
Share-based Compensation
Vesting percentage		50.00%
2019 Equity Incentive Plan \| Founders Grant RSUs
Share-based Compensation
Restricted stock unit awards granted		250,000
Grant date fair value		$ 3.5
Cliff vesting period		3 years
2019 Equity Incentive Plan \| Director RSUs
Share-based Compensation
Restricted stock unit awards granted	7,440	26,399	33,839
Grant date fair value			$ 0.5
2010 Equity Incentive Plan
Share-based Compensation
Share-based compensation expense				$ 0.1
2010 Equity Incentive Plan \| Restricted stock units
Share-based Compensation
Number of RSUs converted into RSUs based on common stock upon merger		668,170