Name:	pro_SharebasedCompensationArrangementbySharebasedPaymentAwardEquityInstrumentsOtherthanOptionsExpiredInPeriodWeightedAverageGrantDateFairValue
Namespace Prefix:	pro_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	duration

The number of equity-based payment instruments, excluding stock (or unit) options, that were forfeited during the reporting period.

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

Weighted average fair value as of the grant date of equity-based award plans other than stock (unit) option plans that were not exercised or put into effect as a result of the occurrence of a terminating event.

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

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).

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

The weighted average fair value at grant date for nonvested equity-based awards issued 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).

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

The number of non-vested equity-based payment instruments, excluding stock (or unit) options, that validly exist and are outstanding as of the balance sheet date.

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

The weighted average fair value of nonvested awards on equity-based plans excluding option plans (for example, phantom stock or unit plan, stock or unit appreciation rights plan, revenue or profit achievement stock award plan) for which the employer is contingently obligated to issue equity instruments or transfer assets to an employee who has not yet satisfied service or performance criteria necessary to gain title to proceeds from the sale of the award or underlying shares or units.

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

Weighted average remaining contractual term for equity-based awards excluding options, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

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

The number of equity-based payment instruments, excluding stock (or unit) options, that vested during the reporting period.

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

The weighted average fair value as of grant date pertaining to an equity-based award plan other than a stock (or unit) option plan for which the grantee gained the right during the reporting period, by satisfying service and performance requirements, to receive or retain shares or units, other instruments, or cash in accordance with the terms of the arrangement.

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardEquityInstrumentsOtherThanOptionsVestedInPeriodWeightedAverageGrantDateFairValue
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
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_ShareBasedCompensationArrangementByShareBasedPaymentAwardLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

Number of shares under non-option equity instrument agreements for which rights to exercise lapsed.

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

Number of equity instruments other than options outstanding, including both vested and non-vested instruments.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(i)
-URI http://asc.fasb.org/extlink&oid=96867065&loc=d3e5070-113901

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(ii)
-URI http://asc.fasb.org/extlink&oid=96867065&loc=d3e5070-113901

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

The weighted-average price as of the balance sheet date at which grantees can acquire the shares reserved for issuance on vested portions of options outstanding and currently exercisable under the stock option plan.

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

For presentations that combine terminations, the number of shares under options that were cancelled during the reporting period as a result of occurrence of a terminating event specified in contractual agreements pertaining to the stock option plan or that expired.

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

Weighted average price of options that were either forfeited or expired.

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

The number of shares under options that were cancelled during the reporting period as a result of occurrence of a terminating event specified in contractual agreements pertaining to the stock option plan.

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

Net number of share options (or share units) granted during the period.

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

Amount by which the current fair value of the underlying stock exceeds the exercise price of options outstanding.

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

Number of options outstanding, including both vested and non-vested options.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=96867065&loc=d3e5070-113901

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(i)-(ii)
-URI http://asc.fasb.org/extlink&oid=96867065&loc=d3e5070-113901

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

Weighted average price at which grantees can acquire the shares reserved for issuance under the stock option plan.

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

Amount by which current fair value of underlying stock exceeds exercise price of fully vested and expected to vest exercisable or convertible options. Includes, but is not limited to, unvested options for which requisite service period has not been rendered but that are expected to vest based on achievement of performance condition, if forfeitures are recognized when they occur.

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

Number of fully vested and expected to vest exercisable options that may be converted into shares under option plan. Includes, but is not limited to, unvested options for which requisite service period has not been rendered but that are expected to vest based on achievement of performance condition, if forfeitures are recognized when they occur.

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

Weighted-average exercise price, at which grantee can acquire shares reserved for issuance, for fully vested and expected to vest exercisable or convertible options. Includes, but is not limited to, unvested options for which requisite service period has not been rendered but that are expected to vest based on achievement of performance condition, if forfeitures are recognized when they occur.

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

Amount by which current fair value of underlying stock exceeds exercise price of fully vested and expected to vest options outstanding. Includes, but is not limited to, unvested options for which requisite service period has not been rendered but that are expected to vest based on achievement of performance condition, if forfeitures are recognized when they occur.

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

Number of fully vested and expected to vest options outstanding that can be converted into shares under option plan. Includes, but is not limited to, unvested options for which requisite service period has not been rendered but that are expected to vest based on achievement of performance condition, if forfeitures are recognized when they occur.

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

Weighted-average exercise price, at which grantee can acquire shares reserved for issuance, for fully vested and expected to vest options outstanding. Includes, but is not limited to, unvested options for which requisite service period has not been rendered but that are expected to vest based on achievement of performance condition, if forfeitures are recognized when they occur.

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

Weighted average price at which option holders acquired shares when converting their stock options into shares.

No definition available.

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

Weighted average price at which grantees could have acquired the underlying shares with respect to stock options that were terminated.

No definition available.

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

Weighted average per share amount at which grantees can acquire shares of common stock by exercise of options.

No definition available.

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

Intrinsic value of equity-based compensation awards not vested. Excludes stock and unit options.

No definition available.

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

Amount of difference between fair value of the underlying shares reserved for issuance and exercise price of vested portions of options outstanding and currently exercisable.

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

Weighted average remaining contractual term for option awards outstanding, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

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

Weighted average remaining contractual term for fully vested and expected to vest exercisable or convertible options, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. Includes, but is not limited to, unvested options for which requisite service period has not been rendered but that are expected to vest based on achievement of performance condition, if forfeitures are recognized when they occur.

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

Weighted average remaining contractual term for fully vested and expected to vest options outstanding, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. Includes, but is not limited to, unvested options for which requisite service period has not been rendered but that are expected to vest based on achievement of performance condition, if forfeitures are recognized when they occur.

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

Number of share options (or share units) exercised during the current period.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-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

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 505
-SubTopic 10
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=84159872&loc=d3e21463-112644

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

Reference 4: http://www.xbrl.org/2003/role/presentationRef
-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

Reference 5: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(iv)(2)
-URI http://asc.fasb.org/extlink&oid=96867065&loc=d3e5070-113901

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

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

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

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

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