Adjustment to gross profit

No definition available.

Name:	pro_Adjustmenttogrossprofit
Namespace Prefix:	pro_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of internal-use software development costs capitalized by the company in the period and included in property and equipment, net in the consolidated balance sheet.

+ References

No definition available.

+ Details

Name:	pro_InternalUseSoftwareDevelopmentCostsCapitalized
Namespace Prefix:	pro_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Summary of Significant Accounting Policies [Line Items]

+ References

No definition available.

+ Details

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

- Definition

Investments in treasury money market funds which are part of the company's assets, measured at fair value.

+ References

No definition available.

+ Details

Name:	pro_TreasuryMoneyMarketFundsAtFairValue
Namespace Prefix:	pro_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

For each income statement presented, the amount charged to expense for amortization of capitalized computer software costs.

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 985

-SubTopic 20

-Section 50

-Paragraph 2

-URI http://asc.fasb.org/extlink&oid=6501960&loc=d3e128487-111756

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 985

-SubTopic 20

-Section 50

-Paragraph 1

-Subparagraph (b)

-URI http://asc.fasb.org/extlink&oid=6501960&loc=d3e128462-111756

+ Details

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

- Definition

Percentage of current income tax expense (benefit) and deferred income tax expense (benefit) pertaining to continuing operations.

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 740

-SubTopic 10

-Section 50

-Paragraph 13

-URI http://asc.fasb.org/extlink&oid=6907707&loc=d3e32698-109319

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 235

-SubTopic 10

-Section S99

-Paragraph 1

-Subparagraph (SX 210.4-08.(h)(2))

-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e23780-122690

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 740

-SubTopic 10

-Section 50

-Paragraph 12

-URI http://asc.fasb.org/extlink&oid=6907707&loc=d3e32687-109319

+ Details

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

- Definition

Amount of current income tax expense (benefit) and deferred income tax expense (benefit) pertaining to continuing operations.

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 740

-SubTopic 10

-Section 50

-Paragraph 9

-Subparagraph (a),(b)

-URI http://asc.fasb.org/extlink&oid=6907707&loc=d3e32639-109319

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 235

-SubTopic 10

-Section S99

-Paragraph 1

-Subparagraph (SX 210.4-08.(h))

-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e23780-122690

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

-Publisher FASB

-Name Accounting Standards Codification

-Glossary Income Tax Expense (or Benefit)

-URI http://asc.fasb.org/extlink&oid=6515339

+ Details

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

- Definition

The carrying value as of the balance sheet date of the current and noncurrent portions of long-term obligations drawn from a line of credit, which is a bank's commitment to make loans up to a specific amount. Examples of items that might be included in the application of this element may consist of letters of credit, standby letters of credit, and revolving credit arrangements, under which borrowings can be made up to a maximum amount as of any point in time conditional on satisfaction of specified terms before, as of and after the date of drawdowns on the line. Includes short-term obligations that would normally be classified as current liabilities but for which (a) postbalance sheet date issuance of a long term obligation to refinance the short term obligation on a long term basis, or (b) the enterprise has entered into a financing agreement that clearly permits the enterprise to refinance the short-term obligation on a long term basis and the following conditions are met (1) the agreement does not expire within 1 year and is not cancelable by the lender except for violation of an objectively determinable provision, (2) no violation exists at the BS date, and (3) the lender has entered into the financing agreement is expected to be financially capable of honoring the agreement.

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 942

-SubTopic 210

-Section S99

-Paragraph 1

-Subparagraph (SX 210.9-03.16)

-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 944

-SubTopic 210

-Section S99

-Paragraph 1

-Subparagraph (SX 210.7-03.16)

-URI http://asc.fasb.org/extlink&oid=6879938&loc=d3e572229-122910

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

-Publisher SEC

-Name Regulation S-X (SX)

-Number 210

-Section 02

-Paragraph 19, 20, 22

-Article 5

+ Details

Name:	us-gaap_LineOfCredit
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Maximum borrowing capacity under the credit facility without consideration of any current restrictions on the amount that could be borrowed or the amounts currently outstanding under the facility.

+ References

+ Details

Name:	us-gaap_LineOfCreditFacilityMaximumBorrowingCapacity
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Period which an employee's right to exercise an award is no longer contingent on satisfaction of either a service condition, market condition or a performance condition, 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 50

-Paragraph 2

-Subparagraph (a)(1)

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

+ Details

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

- Definition

Investments which are intended to be sold in the short term (usually less than one year or the normal operating cycle, whichever is longer) including trading securities, available-for-sale securities, held-to-maturity securities, and other short-term investments not otherwise listed in the existing taxonomy.

+ References

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

-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

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

-Publisher SEC

-Name Regulation S-X (SX)

-Number 210

-Section 03

-Paragraph 1

-Subparagraph g

-Article 7

+ Details

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

- Definition

The charge against earnings resulting from the aggregate write down of tangible assets from their carrying value to their fair value.

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 360

-SubTopic 10

-Section 50

-Paragraph 2

-Subparagraph (b)

-URI http://asc.fasb.org/extlink&oid=51719941&loc=d3e2921-110230

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 205

-SubTopic 20

-Section 50

-Paragraph 1

-Subparagraph (b)

-URI http://asc.fasb.org/extlink&oid=51717284&loc=d3e1361-107760

+ Details

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

- Definition

The remaining balance of debt issuance expenses that were capitalized and are being amortized against income over the lives of the respective bond issues. This does not include the amounts capitalized as part of the cost of the utility plant or asset.

+ References

+ Details

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

- Details

Name:	pro_InternalUseSoftwareAxis=pro_CloudBasedProductOfferingsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RangeAxis=us-gaap_MinimumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RangeAxis=us-gaap_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

Summary of Significant Accounting Policies Significant Accounting Policies (Details) - USD ($)	3 Months Ended		6 Months Ended
	Jun. 30, 2015	Jun. 30, 2014	Jun. 30, 2015	Jun. 30, 2014	Dec. 31, 2014
Summary of Significant Accounting Policies [Line Items]
Adjustment to gross profit		$ 600,000		$ 1,100,000
Internal-use software development costs capitalized			$ 233,000	1,623,000
Tangible Asset Impairment Charges	$ 0	2,130,000	0	2,130,000
Treasury money market funds, at fair value	122,900,000		122,900,000		$ 135,300,000
Short-term Investments	11,197,000		11,197,000		$ 0
Line of Credit Facility, Amount Outstanding	0		0
Line of Credit Facility, Maximum Borrowing Capacity	50,000,000		50,000,000
Unamortized Debt Issuance Expense	100,000		100,000
Income Tax Expense (Benefit)	$ 370,000	$ (1,240,000)	$ 480,000	$ (1,800,000)
Effective income tax rate	(2.00%)	15.00%	(2.00%)	10.00%
Cloud-based product offerings [Member]
Summary of Significant Accounting Policies [Line Items]
Internal-use software development costs capitalized	$ 100,000	$ 900,000	$ 300,000	$ 1,600,000
Capitalized Computer Software, Amortization		$ 200,000	$ 0	$ 300,000
Minimum [Member]
Summary of Significant Accounting Policies [Line Items]
Share-based Compensation Arrangement by Share-based Payment Award, Award Vesting Period			1 year
Maximum [Member]
Summary of Significant Accounting Policies [Line Items]
Share-based Compensation Arrangement by Share-based Payment Award, Award Vesting Period			4 years