Increase in total number of sares reserved for issuance under 2007 Equity Incentive Plan

No definition available.

Name:	pro_IncreaseInNumberOfSharesReservedForIssuanceUnderPlan
Namespace Prefix:	pro_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

- Details

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

- Definition

As of the balance sheet date, the aggregate unrecognized cost of equity-based awards made to employees under equity-based compensation awards that have yet to vest.

+ References

+ Details

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

- Definition

Weighted average period over which unrecognized compensation is expected to be recognized for equity-based compensation plans, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

+ References

+ Details

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

+ Details

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

- Definition

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

+ 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 (c)(2)(iii)(1)

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

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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 123R

-Paragraph A240

-Subparagraph c(1)

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 123R

-Paragraph A240

-Subparagraph b(2)(c)

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

+ Details

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

- Definition

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

+ References

+ Details

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

- Definition

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.

+ References

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=6415400&loc=d3e5070-113901

+ Details

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

- Definition

The number of shares reserved for issuance under stock option agreements awarded under the plan that validly exist and are outstanding as of the balance sheet date, including vested options.

+ References

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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 123R

-Paragraph A240

-Subparagraph b(1)(b)

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 2: 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=6415400&loc=d3e5070-113901

Reference 3: 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=6415400&loc=d3e5070-113901

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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 123R

-Paragraph A240

-Subparagraph b(1)(a)

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

+ Details

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

Noncash Share-based Compensation (Details) (USD $) In Millions, except Share data, unless otherwise specified	3 Months Ended			12 Months Ended
	Mar. 31, 2013	Mar. 31, 2013 RSUs	Mar. 31, 2013 MSUs	Dec. 31, 2012 SARs	Dec. 31, 2012 Stock options
Noncash Share-based Compensation (Narrative) [Line Items]
Share-based Compensation Arrangement by Share-based Payment Award, Options, Outstanding, Number					1,475,000
Awards, other than options, granted in period		779,850,000	251,000,000	789,637
Weighted average grant date fair value, per share, of awards granted in period		$ 19,600	$ 40,580
Increase in number of shares reserved for issuance under Plan	900,000
Shares reserved for issuance under Plan	7,268,000
Shares available for future grants	433,888
Unrecognized compensation cost related to share-based compensation	$ 40.7
Weighted average period to recognize cost, in years	2 years 10 months 21 days