Summary of Significant Accounting Policies Fair Value Calculation Assumptions (Details) (Market share units)	0 Months Ended
Feb. 11, 2014
Market share units
Valuation Assumptions for MSUs [Line Items]
Volatility	42.06%
Risk-free interest rate	0.89%
Expected life, in years	2 years 11 months 12 days
Dividend yield	0.00%

Name:	pro_ValuationAssumptionsForMsusLineItems
Namespace Prefix:	pro_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

The estimated dividend rate (a percentage of the share price) to be paid (expected dividends) to holders of the underlying shares over the option's term.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 718

-SubTopic 10

-Section 50

-Paragraph 2

-Subparagraph (f)(2)(iii)

-URI http://asc.fasb.org/extlink&oid=6415400&loc=d3e5070-113901

+ Details

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

- Definition

Expected term of share-based compensation awards, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 718

-SubTopic 10

-Section S99

-Paragraph 1

-Subparagraph (SAB TOPIC 14.D.2)

-URI http://asc.fasb.org/extlink&oid=27013229&loc=d3e301413-122809

Reference 2: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 718

-SubTopic 10

-Section 50

-Paragraph 2

-Subparagraph (f)(2)(i)

-URI http://asc.fasb.org/extlink&oid=6415400&loc=d3e5070-113901

Reference 3: http://www.xbrl.org/2003/role/presentationRef

-Publisher SEC

-Name Staff Accounting Bulletin (SAB)

-Number Topic 14

-Section D

-Subsection 2

+ Details

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

- Definition

The estimated measure of the percentage by which a share price is expected to fluctuate during a period. Volatility also may be defined as a probability-weighted measure of the dispersion of returns about the mean. The volatility of a share price is the standard deviation of the continuously compounded rates of return on the share over a specified period. That is the same as the standard deviation of the differences in the natural logarithms of the stock prices plus dividends, if any, over the period.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 718

-SubTopic 10

-Section 50

-Paragraph 2

-Subparagraph (f)(2)(ii)

-URI http://asc.fasb.org/extlink&oid=6415400&loc=d3e5070-113901

+ Details

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

- Definition

The risk-free interest rate assumption that is used in valuing an option on its own shares.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 718

-SubTopic 10

-Section 50

-Paragraph 2

-Subparagraph (f)(2)(iv)

-URI http://asc.fasb.org/extlink&oid=6415400&loc=d3e5070-113901

+ Details

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