XML 50 R40.htm IDEA: XBRL DOCUMENT
v3.23.3

Convertible debt (Details) $ / shares in Units, $ in Thousands | 3 Months Ended | 9 Months Ended |  |  |
--- | --- | --- | --- | --- | ---
Sep. 30, 2023 USD ($) $ / shares | Sep. 30, 2022 USD ($) | Sep. 30, 2023 USD ($) $ / shares | Sep. 30, 2022 USD ($) | Oct. 10, 2023 USD ($) | Aug. 23, 2023 USD ($) | Dec. 31, 2022 USD ($)
Debt Instrument [Line Items] |  |  |  |  |  |  |
Debt Instrument, Face Amount | $ 293,750 |  | $ 293,750 |  |  |  | $ 293,750
Convertible Debt, Current | 21,635 |  | 21,635 |  |  |  | 0
Convertible Debt, Noncurrent | 272,542 |  | 272,542 |  |  |  | 289,779
Loss on Extinguishment of Debt | 1,779 | $ 0 | 1,779 | $ 0 |  |  |
Derivative, Loss on Derivative |  |  | 4,343 | 0 |  |  |
Debt Instrument, Premium and Debt Issuance Costs, Net | 427 |  | 427 |  |  |  | (3,971)
Convertible Debt | 294,177 |  | 294,177 |  |  |  | 289,779
Debt Instrument, Fair Value Disclosure | 296,300 |  | 296,300 |  |  |  | 263,700
Debt Instrument, Periodic Payment, Interest | 1,203 | 1,203 | 3,609 | 3,609 |  |  |
Amortization of Financing Costs | 294 | 373 | 1,040 | 1,119 |  |  |
Interest Expense, Debt | 1,497 | $ 1,576 | 4,649 | 4,728 |  |  |
Purchase of capped call |  |  | 22,771 | $ 0 |  |  |
Derivative Asset, Noncurrent | 22,260 |  | 22,260 |  |  |  | $ 0
Subsequent Event |  |  |  |  |  |  |
Debt Instrument [Line Items] |  |  |  |  |  |  |
Value of capped call |  |  |  |  | $ 22,200 |  |
Notes due 2024 [Member] |  |  |  |  |  |  |
Debt Instrument [Line Items] |  |  |  |  |  |  |
Debt Instrument, Face Amount | $ 21,713 |  | $ 21,713 |  |  |  |
Debt Instrument, Interest Rate, Stated Percentage | 1.00% |  | 1.00% |  |  |  |
Debt Instrument, Convertible, Conversion Ratio |  |  | 15.1394 |  |  |  |
Debt Instrument, Convertible, Stock Price Trigger | $ / shares |  |  | $ 66.05 |  |  |  |
Debt Instrument, Convertible, Remaining Discount Amortization Period | 7 months |  | 7 months |  |  |  |
Debt Instrument, Convertible, Conversion Price | $ / shares | $ 101.62 |  | $ 101.62 |  |  |  |
Purchase of capped call |  |  | $ 16,400 |  |  |  |
Notes due 2024 [Member] | Subsequent Event |  |  |  |  |  |  |
Debt Instrument [Line Items] |  |  |  |  |  |  |
Debt Instrument, Face Amount |  |  |  |  | 21,700 |  |
Notes due 2027 |  |  |  |  |  |  |
Debt Instrument [Line Items] |  |  |  |  |  |  |
Debt Instrument, Face Amount | $ 150,000 |  | $ 150,000 |  |  |  |
Debt Instrument, Interest Rate, Stated Percentage | 2.25% |  | 2.25% |  |  |  |
Debt Instrument, Convertible, Conversion Ratio |  |  | 23.9137 |  |  |  |
Debt Instrument, Convertible, Stock Price Trigger | $ / shares |  |  | $ 41.82 |  |  |  |
Debt Instrument, Convertible, Remaining Discount Amortization Period | 47 months |  | 47 months |  |  |  |
Debt Instrument, Convertible, Conversion Price | $ / shares | $ 78.90 |  | $ 78.90 |  |  |  |
Purchase of capped call |  |  | $ 25,300 |  |  |  |
Notes due 2027 | Subsequent Event |  |  |  |  |  |  |
Debt Instrument [Line Items] |  |  |  |  |  |  |
Debt Instrument, Face Amount |  |  |  |  | $ 266,800 |  |
Notes due 2024- subject to Exchange |  |  |  |  |  |  |
Debt Instrument [Line Items] |  |  |  |  |  |  |
Debt Instrument, Face Amount | $ 122,037 |  | 122,037 |  |  |  |
Notes Exchange |  |  |  |  |  |  |
Debt Instrument [Line Items] |  |  |  |  |  |  |
Debt Issuance Cost | 2,300 |  | 2,300 |  |  |  |
Derivative Liability | 3,800 |  | 3,800 |  |  | $ 0 |
Derivative, Loss on Derivative | 3,800 |  |  |  |  |  |
Debt Instrument, Fair Value Disclosure |  |  |  |  |  | 123,300 |
Notes Exchange - Capped Call |  |  |  |  |  |  |
Debt Instrument [Line Items] |  |  |  |  |  |  |
Derivative, Loss on Derivative | 500 |  |  |  |  |  |
Derivative Asset, Noncurrent | $ 22,300 |  | $ 22,300 |  |  | $ 22,800 |

X
- Definition Purchase of capped call + References No definition available. + Details
Name: | pro_Purchaseofcappedcall
Namespace Prefix: | pro_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Value of capped call + References No definition available. + Details
Name: | pro_ValueOfCappedCall
Namespace Prefix: | pro_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of amortization expense attributable to debt issuance costs. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1F -Subparagraph (b)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1F Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 230 -SubTopic 10 -Name Accounting Standards Codification -Section 45 -Paragraph 28 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482740/230-10-45-28 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 835 -SubTopic 30 -Name Accounting Standards Codification -Section 45 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482925/835-30-45-3 Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef -Topic 220 -SubTopic 10 -Name Accounting Standards Codification -Section S99 -Paragraph 2 -Subparagraph (SX 210.5-03(8)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147483621/220-10-S99-2 + Details
Name: | us-gaap_AmortizationOfFinancingCosts
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Including the current and noncurrent portions, carrying amount of debt identified as being convertible into another form of financial instrument (typically the entity's common stock) as of the balance sheet date, which originally required full repayment more than twelve months after issuance or greater than the normal operating cycle of the company. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.5-02(22)) -SubTopic 10 -Topic 210 -Publisher FASB -URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1 Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 944 -SubTopic 210 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.7-03(a)(16)(a)(2)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147479440/944-210-S99-1 Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef -Topic 942 -SubTopic 210 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.9-03(16)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147479853/942-210-S99-1 + Details
Name: | us-gaap_ConvertibleDebt
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition The portion of the carrying value of long-term convertible debt as of the balance sheet date that is scheduled to be repaid within one year or in the normal operating cycle if longer. Convertible debt is a financial instrument which can be exchanged for a specified amount of another security, typically the entity's common stock, at the option of the issuer or the holder. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Topic 210 -SubTopic 10 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.5-02(19)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1 + Details
Name: | us-gaap_ConvertibleDebtCurrent
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Carrying amount of long-term convertible debt as of the balance sheet date, net of the amount due in the next twelve months or greater than the normal operating cycle, if longer. The debt is convertible into another form of financial instrument, typically the entity's common stock. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 210 -SubTopic 10 -Section S99 -Paragraph 1 -Subparagraph (SX 210.5-02.22) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1 + Details
Name: | us-gaap_ConvertibleDebtNoncurrent
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition The price per share of the conversion feature embedded in the debt instrument. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 5 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-5 + Details
Name: | us-gaap_DebtInstrumentConvertibleConversionPrice1
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:perShareItemType
Balance Type: | na
Period Type: | instant

X
- Definition Ratio applied to the conversion of debt instrument into equity with equity shares divided by debt principal amount. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 505 -SubTopic 10 -Section 50 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org//1943274/2147481112/505-10-50-3 Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 210 -SubTopic 10 -Section S99 -Paragraph 1 -Subparagraph (SX 210.5-02.22(a)(5)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1 Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef -Topic 505 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 7 -Publisher FASB -URI https://asc.fasb.org//1943274/2147481112/505-10-50-7 Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef -Topic 505 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481112/505-10-50-6 + Details
Name: | us-gaap_DebtInstrumentConvertibleConversionRatio1
Namespace Prefix: | us-gaap_
Data Type: | xbrli:pureItemType
Balance Type: | na
Period Type: | duration

X
- Definition Remaining amortization period for discount on the liability component of convertible debt which may be settled in cash upon conversion, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Section 50 -Paragraph 5 -Subparagraph (a) -SubTopic 20 -Topic 470 -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-5 + Details
Name: | us-gaap_DebtInstrumentConvertibleRemainingDiscountAmortizationPeriod1
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- Definition Price of the entity's common stock which would be required to be attained for the conversion feature embedded in the debt instrument to become effective. + References No definition available. + Details
Name: | us-gaap_DebtInstrumentConvertibleStockPriceTrigger
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:perShareItemType
Balance Type: | na
Period Type: | duration

X
- Definition Face (par) amount of debt instrument at time of issuance. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 835 -SubTopic 30 -Name Accounting Standards Codification -Section 50 -Paragraph 1 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482900/835-30-50-1 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 3: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69B -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69B Reference 4: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69C -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69C Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 835 -SubTopic 30 -Section 45 -Paragraph 2 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482925/835-30-45-2 Reference 6: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 835 -SubTopic 30 -Section 55 -Paragraph 8 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482949/835-30-55-8 + Details
Name: | us-gaap_DebtInstrumentFaceAmount
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Fair value portion of debt instrument payable, including, but not limited to, notes payable and loans payable. + References Reference 1: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69B -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69B Reference 2: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69C -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69C Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1D -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1D Reference 4: http://www.xbrl.org/2003/role/disclosureRef -Topic 825 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 10 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482907/825-10-50-10 + Details
Name: | us-gaap_DebtInstrumentFairValue
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Contractual interest rate for funds borrowed, under the debt agreement. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 210 -SubTopic 10 -Section S99 -Paragraph 1 -Subparagraph (SX 210.5-02.22(a)(1)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1 + Details
Name: | us-gaap_DebtInstrumentInterestRateStatedPercentage
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:percentItemType
Balance Type: | na
Period Type: | instant

X
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 835 -SubTopic 30 -Name Accounting Standards Codification -Section 50 -Paragraph 1 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482900/835-30-50-1 Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 235 -SubTopic 10 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.4-08(f)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480678/235-10-S99-1 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 235 -SubTopic 10 -Name Accounting Standards Codification -Section S99 -Paragraph 3 -Subparagraph (SX 210.12-04(a)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480678/235-10-S99-3 Reference 4: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 5: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69B -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69B Reference 6: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69C -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69C Reference 7: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69E -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69E Reference 8: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69F -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69F Reference 9: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 10: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 11: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 12: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (e) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 13: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (f) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 14: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1B -Subparagraph (h) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1B Reference 15: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1D -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1D Reference 16: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1D -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1D Reference 17: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1D -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1D Reference 18: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1E -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1E Reference 19: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1E -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1E Reference 20: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1E -Subparagraph (d) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1E Reference 21: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1F -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1F Reference 22: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1F -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1F Reference 23: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1F -Subparagraph (b)(1) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1F Reference 24: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1F -Subparagraph (b)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1F Reference 25: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1I -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1I + Details
Name: | us-gaap_DebtInstrumentLineItems
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of the required periodic payments applied to interest. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 210 -SubTopic 10 -Section S99 -Paragraph 1 -Subparagraph (SX 210.5-02.22) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1 + Details
Name: | us-gaap_DebtInstrumentPeriodicPaymentInterest
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Amount of unamortized debt discount (premium) and debt issuance costs. + References Reference 1: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69B -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69B Reference 2: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69C -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69C Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1D -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1D Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 835 -SubTopic 30 -Section 45 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482925/835-30-45-3 Reference 5: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 4 -Subparagraph (b)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-4 + Details
Name: | us-gaap_DebtInstrumentUnamortizedDiscountPremiumAndDebtIssuanceCostsNet
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount, before accumulated amortization, of debt issuance costs. Includes, but is not limited to, legal, accounting, underwriting, printing, and registration costs. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 835 -SubTopic 30 -Section 45 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482925/835-30-45-3 + Details
Name: | us-gaap_DeferredFinanceCostsGross
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Fair value, after the effects of master netting arrangements, of a financial asset or other contract with one or more underlyings, notional amount or payment provision or both, and the contract can be net settled by means outside the contract or delivery of an asset, expected to be settled after one year or the normal operating cycle, if longer. Includes assets not subject to a master netting arrangement and not elected to be offset. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 210 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org//1943274/2147483466/210-20-50-3 + Details
Name: | us-gaap_DerivativeAssetsNoncurrent
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Fair value, after the effects of master netting arrangements, of a financial liability or contract with one or more underlyings, notional amount or payment provision or both, and the contract can be net settled by means outside the contract or delivery of an asset. Includes liabilities not subject to a master netting arrangement and not elected to be offset. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Subparagraph (e) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-6 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Subparagraph (a)(1) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-6 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Subparagraph (a)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-6 Reference 4: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Subparagraph (a)(4) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-6 Reference 5: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 1 -Subparagraph (a)(1) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-1 Reference 6: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 1 -Subparagraph (b)(1) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-1 Reference 7: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 1 -Subparagraph (b)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-1 Reference 8: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 1 -Subparagraph (c)(2) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-1 Reference 9: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Subparagraph (f) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-6 Reference 10: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Subparagraph (a)(3) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480524/946-210-50-6 Reference 11: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.6-04(9)(e)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147479617/946-210-S99-1 Reference 12: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 320 -Name Accounting Standards Codification -Section S99 -Paragraph 5C -Subparagraph (SX 210.12-13C(Column H)(Footnote 7)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480032/946-320-S99-5C Reference 13: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.6-04(9)(b)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147479617/946-210-S99-1 Reference 14: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 210 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.6-04(9)(d)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147479617/946-210-S99-1 Reference 15: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 320 -Name Accounting Standards Codification -Section S99 -Paragraph 5 -Subparagraph (SX 210.12-13(Column G)(Footnote 8)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480032/946-320-S99-5 Reference 16: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 320 -Name Accounting Standards Codification -Section S99 -Paragraph 5C -Subparagraph (SX 210.12-13C(Column H)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480032/946-320-S99-5C Reference 17: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 320 -Name Accounting Standards Codification -Section S99 -Paragraph 5 -Subparagraph (SX 210.12-13(Column G)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480032/946-320-S99-5 Reference 18: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 320 -Name Accounting Standards Codification -Section S99 -Paragraph 5A -Subparagraph (SX 210.12-13A(Column E)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480032/946-320-S99-5A Reference 19: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 320 -Name Accounting Standards Codification -Section S99 -Paragraph 5B -Subparagraph (SX 210.12-13B(Column E)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480032/946-320-S99-5B Reference 20: http://www.xbrl.org/2003/role/disclosureRef -Topic 946 -SubTopic 320 -Name Accounting Standards Codification -Section S99 -Paragraph 5B -Subparagraph (SX 210.12-13B(Column E)(Footnote 4)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480032/946-320-S99-5B Reference 21: http://www.xbrl.org/2003/role/disclosureRef -Topic 210 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org//1943274/2147483466/210-20-50-3 Reference 22: http://www.xbrl.org/2003/role/exampleRef -Topic 210 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 22 -Publisher FASB -URI https://asc.fasb.org//1943274/2147483444/210-20-55-22 Reference 23: http://www.xbrl.org/2003/role/disclosureRef -Topic 210 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 10 -Publisher FASB -URI https://asc.fasb.org//1943274/2147483444/210-20-55-10 Reference 24: http://www.xbrl.org/2003/role/disclosureRef -Topic 825 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 10 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482907/825-10-50-10 + Details
Name: | us-gaap_DerivativeLiabilities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of decrease in the fair value of derivatives recognized in the income statement. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 815 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 4A -Subparagraph (b)(1) -Publisher FASB -URI https://asc.fasb.org//1943274/2147480434/815-10-50-4A + Details
Name: | us-gaap_DerivativeLossOnDerivative
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Difference between the fair value of payments made and the carrying amount of debt which is extinguished prior to maturity. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Section 45 -Paragraph 28 -Subparagraph (b) -SubTopic 10 -Topic 230 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482740/230-10-45-28 Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 470 -SubTopic 50 -Section 40 -Paragraph 2 -Publisher FASB -URI https://asc.fasb.org//1943274/2147481303/470-50-40-2 Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 470 -SubTopic 50 -Section 40 -Paragraph 4 -Publisher FASB -URI https://asc.fasb.org//1943274/2147481303/470-50-40-4 + Details
Name: | us-gaap_GainsLossesOnExtinguishmentOfDebt
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of the cost of borrowed funds accounted for as interest expense for debt. + References Reference 1: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69E -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69E Reference 2: http://www.xbrl.org/2003/role/exampleRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 55 -Paragraph 69F -Publisher FASB -URI https://asc.fasb.org//1943274/2147481568/470-20-55-69F Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 1F -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-1F Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef -Topic 220 -SubTopic 10 -Name Accounting Standards Codification -Section S99 -Paragraph 2 -Subparagraph (SX 210.5-03.8) -Publisher FASB -URI https://asc.fasb.org//1943274/2147483621/220-10-S99-2 Reference 5: http://www.xbrl.org/2003/role/disclosureRef -Topic 470 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481139/470-20-50-6 + Details
Name: | us-gaap_InterestExpenseDebt
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Details
Name: | us-gaap_SubsequentEventTypeAxis=us-gaap_SubsequentEventMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_DebtInstrumentAxis=pro_Notesdue2024Member
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_DebtInstrumentAxis=pro_NotesDue2027Member
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_DebtInstrumentAxis=pro_NotesDue2024SubjectToExchangeMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_DebtInstrumentAxis=pro_NotesExchangeMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_DebtInstrumentAxis=pro_NotesExchangeCappedCallMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |