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

Summary of Significant Accounting Policies [Line Items]

No definition available.

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

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

No definition available.

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

Amount of expense for amortization of capitalized computer software costs.

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)(1)
-URI http://asc.fasb.org/extlink&oid=6501960&loc=d3e128462-111756

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

Fair value portion of deposit liabilities held by the entity, including, but not limited to, foreign and domestic, interest and noninterest bearing, demand deposits, saving deposits, negotiable orders of withdrawal (NOW) and time deposits.

No definition available.

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

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

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=65882285&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=65882285&loc=d3e32687-109319

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

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

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=65882285&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

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

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.

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

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.

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

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.

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

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

Amount of investments including trading securities, available-for-sale securities, held-to-maturity securities, and short-term investments classified as other and current.

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 FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(1)(g))
-URI http://asc.fasb.org/extlink&oid=6879938&loc=d3e572229-122910

Reference 3: 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(5))
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

Reference 4: 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(6))
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

Reference 5: 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(4))
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

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

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

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=64862545&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=64827811&loc=d3e1361-107760

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

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.