XML 81 R63.htm IDEA: XBRL DOCUMENT
v2.4.1.9

Income Tax Disclosure Reconciliation of Federal Tax Rate (Details) (USD $) In Thousands, unless otherwise specified | 12 Months Ended
--- | ---
Dec. 31, 2014 | Dec. 31, 2013 | Dec. 31, 2012
Income Tax Disclosure - Reconciliation of Federal Tax Rate [Abstract] |  |  |
Income Tax Reconciliation, Income Tax Expense (Benefit), at Federal Statutory Income Tax Rate | $ (8,520)us-gaap_IncomeTaxReconciliationIncomeTaxExpenseBenefitAtFederalStatutoryIncomeTaxRate | $ 1,113us-gaap_IncomeTaxReconciliationIncomeTaxExpenseBenefitAtFederalStatutoryIncomeTaxRate | $ 2,726us-gaap_IncomeTaxReconciliationIncomeTaxExpenseBenefitAtFederalStatutoryIncomeTaxRate
Income Tax Reconciliation, State and Local Income Taxes | 49us-gaap_IncomeTaxReconciliationStateAndLocalIncomeTaxes | (583)us-gaap_IncomeTaxReconciliationStateAndLocalIncomeTaxes | (84)us-gaap_IncomeTaxReconciliationStateAndLocalIncomeTaxes
Income Tax Reconciliation, Nondeductible Expense | 653us-gaap_IncomeTaxReconciliationNondeductibleExpense | 235us-gaap_IncomeTaxReconciliationNondeductibleExpense | 214us-gaap_IncomeTaxReconciliationNondeductibleExpense
Income Tax Reconciliation, Nondeductible Expense, Other | 434us-gaap_IncomeTaxReconciliationNondeductibleExpenseOther | 606us-gaap_IncomeTaxReconciliationNondeductibleExpenseOther | 0us-gaap_IncomeTaxReconciliationNondeductibleExpenseOther
Effective income tax reconciliation, purchase accounting adjustment | 990pro_Effectiveincometaxreconciliationpurchaseaccountingadjustment | 0pro_Effectiveincometaxreconciliationpurchaseaccountingadjustment | 0pro_Effectiveincometaxreconciliationpurchaseaccountingadjustment
Effective Income Tax Rate Reconciliation, Tax Credit, Foreign, Amount | 837us-gaap_IncomeTaxReconciliationTaxCreditsForeign | 135us-gaap_IncomeTaxReconciliationTaxCreditsForeign | 111us-gaap_IncomeTaxReconciliationTaxCreditsForeign
Income Tax Reconciliation, Deductions, Qualified Production Activities | 0us-gaap_IncomeTaxReconciliationDeductionsQualifiedProductionActivities | (47)us-gaap_IncomeTaxReconciliationDeductionsQualifiedProductionActivities | (146)us-gaap_IncomeTaxReconciliationDeductionsQualifiedProductionActivities
Income Tax Reconciliation, Nondeductible Expense, Share-based Compensation Cost | 1,784us-gaap_IncomeTaxReconciliationNondeductibleExpenseShareBasedCompensationCost | 1,308us-gaap_IncomeTaxReconciliationNondeductibleExpenseShareBasedCompensationCost | 622us-gaap_IncomeTaxReconciliationNondeductibleExpenseShareBasedCompensationCost
Research and Expirmentation Tax Credit Adjustment Prior Years | 59pro_ResearchAndExpirmentationTaxCreditAdjustmentPriorYears | (1,254)pro_ResearchAndExpirmentationTaxCreditAdjustmentPriorYears | (439)pro_ResearchAndExpirmentationTaxCreditAdjustmentPriorYears
Income Tax Reconciliation, Tax Credits | (3,259)us-gaap_IncomeTaxReconciliationTaxCredits | (2,165)us-gaap_IncomeTaxReconciliationTaxCredits | (111)us-gaap_IncomeTaxReconciliationTaxCredits
Income Tax Reconciliation, Other Adjustments | (40)us-gaap_IncomeTaxReconciliationOtherAdjustments | (30)us-gaap_IncomeTaxReconciliationOtherAdjustments | 158us-gaap_IncomeTaxReconciliationOtherAdjustments
Income Tax Reconciliation, Change in Deferred Tax Assets Valuation Allowance | 19,506us-gaap_IncomeTaxReconciliationChangeInDeferredTaxAssetsValuationAllowance | 509us-gaap_IncomeTaxReconciliationChangeInDeferredTaxAssetsValuationAllowance | 0us-gaap_IncomeTaxReconciliationChangeInDeferredTaxAssetsValuationAllowance
Income Tax Expense (Benefit) | $ 12,493us-gaap_IncomeTaxExpenseBenefit | $ (173)us-gaap_IncomeTaxExpenseBenefit | $ 3,051us-gaap_IncomeTaxExpenseBenefit

X
- Definition Effective income tax reconciliation, purchase accounting adjustment + References No definition available. + Details
Name: | pro_Effectiveincometaxreconciliationpurchaseaccountingadjustment
Namespace Prefix: | pro_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Details
Name: | pro_IncomeTaxDisclosureReconciliationOfFederalTaxRateAbstract
Namespace Prefix: | pro_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Research and Expirmentation Tax Credit Adjustment Prior Years - Represents adjustment to prior year tax returns as a result of analysis of Research and Expirmentation Tax Credit activity at the company + References No definition available. + Details
Name: | pro_ResearchAndExpirmentationTaxCreditAdjustmentPriorYears
Namespace Prefix: | pro_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- 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 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 2: http://www.xbrl.org/2003/role/presentationRef -Publisher SEC -Name Regulation S-X (SX) -Number 210 -Section 08 -Paragraph h -Article 4 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 Reference 4: 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 + Details
Name: | us-gaap_IncomeTaxExpenseBenefit
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of the difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to increase (decrease) in the valuation allowance for deferred tax assets. + 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 45 -Paragraph 20 -URI http://asc.fasb.org/extlink&oid=21917399&loc=d3e32123-109318 + Details
Name: | us-gaap_IncomeTaxReconciliationChangeInDeferredTaxAssetsValuationAllowance
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of the difference between reported income tax expense (benefit) and the expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to deduction for qualified production activity. + 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 + Details
Name: | us-gaap_IncomeTaxReconciliationDeductionsQualifiedProductionActivities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition The amount of income tax expense or benefit for the period computed by applying the domestic federal statutory tax rates to 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 SEC -Name Regulation S-X (SX) -Number 210 -Section 08 -Paragraph h -Subparagraph 2 -Article 4 + Details
Name: | us-gaap_IncomeTaxReconciliationIncomeTaxExpenseBenefitAtFederalStatutoryIncomeTaxRate
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of the difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to nondeductible expenses. + 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 + Details
Name: | us-gaap_IncomeTaxReconciliationNondeductibleExpense
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of the difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to other nondeductible expenses. + 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 + Details
Name: | us-gaap_IncomeTaxReconciliationNondeductibleExpenseOther
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of the difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to nondeductible equity-based compensation costs. + 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 + Details
Name: | us-gaap_IncomeTaxReconciliationNondeductibleExpenseShareBasedCompensationCost
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of the difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to other adjustments. + 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 + Details
Name: | us-gaap_IncomeTaxReconciliationOtherAdjustments
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of the difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to state and local income tax expense (benefit). + 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 SEC -Name Regulation S-X (SX) -Number 210 -Section 08 -Paragraph h -Subparagraph 1 -Article 4 + Details
Name: | us-gaap_IncomeTaxReconciliationStateAndLocalIncomeTaxes
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of the difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to tax credits. Including, but not limited to, research credit, foreign tax credit, investment tax credit, and other tax credits. + 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 + Details
Name: | us-gaap_IncomeTaxReconciliationTaxCredits
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of the difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to foreign tax credit. + 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 + Details
Name: | us-gaap_IncomeTaxReconciliationTaxCreditsForeign
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration