XML 54 R15.htm IDEA: XBRL DOCUMENT v2.4.0.8

Summary of Significant Accounting Policies Significant Accounting Policies (Details) (USD $)	3 Months Ended		6 Months Ended
	Jun. 30, 2013	Jun. 30, 2012	Jun. 30, 2013	Jun. 30, 2012
Summary of Significant Accounting Policies [Line Items]
Quantifying Misstatement in Current Year Financial Statements, Amount			$ 100,000
Treasury money market funds, at fair value	58,000,000		58,000,000
Internal-use software development costs capitalized			1,534,000	815,000
Effective income tax rate	11.00%	46.00%	(87.00%)	45.00%
Federal statutory income tax rate			34.00%
Capitalized Computer Software, Amortization		100,000	200,000
Cloud-based product offerings [Member]
Summary of Significant Accounting Policies [Line Items]
Internal-use software development costs capitalized	$ 800,000	$ 500,000	$ 1,600,000	$ 800,000

X

- 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

X

- Details

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

X

- 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

X

- 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 Implementation Guide (Q and A)

-Number FAS86

-Paragraph 18

-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 Accounting Standards Codification

-Topic 985

-SubTopic 20

-Section 50

-Paragraph 1

-Subparagraph (b)

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



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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 86

-Paragraph 11

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

+ Details

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

X

- Definition

A ratio calculated by dividing the reported amount of income tax expense attributable to continuing operations for the period by GAAP-basis pretax income from 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 12

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



Reference 2: 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 3: 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=6881521&loc=d3e23780-122690



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

-Publisher SEC

-Name Regulation S-X (SX)

-Number 210

-Section 08

-Paragraph h

-Subparagraph 2

-Article 4



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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 109

-Paragraph 47

-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_EffectiveIncomeTaxRateContinuingOperations
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

X

- Definition

The domestic federal statutory tax rate applicable under enacted tax laws to the Company's pretax income from continuing operations for the period. The "statutory" tax rate is the regular tax rate if there are alternative tax systems.

+ References

Reference 1: 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



Reference 2: 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 3: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 740

-SubTopic 10

-Section S99

-Paragraph 1

-Subparagraph (SAB TOPIC 6.I)

-URI http://asc.fasb.org/extlink&oid=6889476&loc=d3e330036-122817



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

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 109

-Paragraph 47

-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_EffectiveIncomeTaxRateReconciliationAtFederalStatutoryIncomeTaxRate
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

X

- Definition

Amount of each individual error being corrected in the correcting adjustment.

+ References

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 250

-SubTopic 10

-Section S99

-Paragraph 2

-Subparagraph (SAB TOPIC 1.N.Q3)

-URI http://asc.fasb.org/extlink&oid=6369664&loc=d3e30840-122693



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

-Publisher SEC

-Name Staff Accounting Bulletin (SAB)

-Number Topic 1

-Section N

+ Details

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