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: