XML 55 R45.htm IDEA: XBRL DOCUMENT
v3.23.3

Subsequent Events (Details) - USD ($) $ in Thousands | Oct. 10, 2023 | Sep. 30, 2023 | Dec. 31, 2022
--- | --- | --- | ---
Subsequent Event [Line Items] |  |  |
Debt Instrument, Face Amount |  | $ 293,750 | $ 293,750
Notes due 2027 |  |  |
Subsequent Event [Line Items] |  |  |
Debt Instrument, Face Amount |  | 150,000 |
Notes due 2024 [Member] |  |  |
Subsequent Event [Line Items] |  |  |
Debt Instrument, Face Amount |  | $ 21,713 |
Subsequent Event |  |  |
Subsequent Event [Line Items] |  |  |
Value of capped call | $ 22,200 |  |
Subsequent Event | Notes due 2027 |  |  |
Subsequent Event [Line Items] |  |  |
Debt Conversion, Converted Instrument, Amount | 116,800 |  |
Debt Instrument, Face Amount | 266,800 |  |
Subsequent Event | Notes due 2024 [Member] |  |  |
Subsequent Event [Line Items] |  |  |
Partial Extinguishment of Debt, Principal Amount | 122,000 |  |
Debt Instrument, Face Amount | $ 21,700 |  |

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 The value of the financial instrument(s) that the original debt is being converted into in a noncash (or part noncash) transaction. "Part noncash" refers to that portion of the transaction not resulting in cash receipts or cash payments in the period. + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 230 -SubTopic 10 -Section 50 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482913/230-10-50-3 Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef -Name Accounting Standards Codification -Topic 230 -SubTopic 10 -Section 50 -Paragraph 5 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482913/230-10-50-5 + Details
Name: | us-gaap_DebtConversionConvertedInstrumentAmount1
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
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 Gross amount of debt extinguished. + References No definition available. + Details
Name: | us-gaap_ExtinguishmentOfDebtAmount
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Detail information of subsequent event by type. User is expected to use existing line items from elsewhere in the taxonomy as the primary line items for this disclosure, which is further associated with dimension and member elements pertaining to a subsequent event. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 830 -SubTopic 30 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Publisher FASB -URI https://asc.fasb.org//1943274/2147481674/830-30-50-2 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 855 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Publisher FASB -URI https://asc.fasb.org//1943274/2147483399/855-10-50-2 + Details
Name: | us-gaap_SubsequentEventLineItems
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Details
Name: | us-gaap_DebtInstrumentAxis=pro_NotesDue2027Member
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_SubsequentEventTypeAxis=us-gaap_SubsequentEventMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |