Name:	us-gaap_DeferredCompensationArrangementWithIndividualShareBasedPaymentsLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
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

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 maximum number of shares (or other type of equity) originally approved (usually by shareholders and board of directors), net of any subsequent amendments and adjustments, for awards under the equity-based compensation plan. As stock or unit options and equity instruments other than options are awarded to participants, the shares or units remain authorized and become reserved for issuance under outstanding awards (not necessarily vested).

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

The difference between the maximum number of shares (or other type of equity) authorized for issuance under the plan (including the effects of amendments and adjustments), and the sum of: 1) the number of shares (or other type of equity) already issued upon exercise of options or other equity-based awards under the plan; and 2) shares (or other type of equity) reserved for issuance on granting of outstanding awards, net of cancellations and forfeitures, if applicable.

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardNumberOfSharesAvailableForGrant
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
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

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=pro_RestrictedStockUnittimebasedMember
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:

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

Name:	pro_EquityPlanAxis=pro_A2007EquityIncentivePlanMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Name:	pro_EquityPlanAxis=pro_A2017EquityIncentivePlanMemberMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

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

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