XML 49 R38.htm IDEA: XBRL DOCUMENT v3.24.2

Convertible debt (Details) $ / shares in Units, $ in Thousands		3 Months Ended		6 Months Ended
	Oct. 10, 2023 USD ($)	Jun. 30, 2024 USD ($) $ / shares	Jun. 30, 2023 USD ($)	Jun. 30, 2024 USD ($) $ / shares	Jun. 30, 2023 USD ($)	Dec. 31, 2023 USD ($)	Aug. 23, 2023 USD ($)
Debt Instrument [Line Items]
Debt Instrument, Face Amount		$ 266,816		$ 266,816		$ 288,529
Settlement of convertible debt		21,700		(21,713)	$ 0
Debt Instrument, Fair Value Disclosure		256,700		256,700		320,500
Debt Instrument, Unamortized Premium		8,427		8,427		9,776
Debt Instrument, Premium and Debt Issuance Costs, Net		(3,690)		(3,690)		(4,313)
Convertible Debt		271,553		271,553		$ 293,992
Debt Instrument, Periodic Payment, Interest		1,520	$ 1,203	3,075	2,406
Amortization of Financing Costs		301	373	624	746
Amortization of Debt Discount (Premium)		(673)	0	(1,349)	0
Interest Expense, Debt		1,148	$ 1,576	2,350	$ 3,152
Notes due 2024 [Member]
Debt Instrument [Line Items]
Debt Instrument, Face Amount	$ 21,700	$ 0		$ 0
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
Partial Extinguishment of Debt, Principal Amount	122,000
Debt Instrument, Convertible, Conversion Price | $ / shares		$ 101.62		$ 101.62
Value of capped call		$ 16,400		$ 16,400
Notes due 2027
Debt Instrument [Line Items]
Debt Instrument, Face Amount	266,800	$ 266,816		$ 266,816
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		39 months		39 months
Debt Conversion, Converted Instrument, Amount	116,800
Debt Instrument, Convertible, Conversion Price | $ / shares		$ 78.90		$ 78.90
Value of capped call		$ 25,300		$ 25,300
Notes due 2024- subject to Exchange
Debt Instrument [Line Items]
Debt Instrument, Face Amount							$ 122,000
Notes Exchange
Debt Instrument [Line Items]
Value of capped call	$ 22,200

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 noncash expense included in interest expense to amortize debt discount and premium associated with the related debt instruments. Excludes amortization of financing costs. Alternate captions include noncash interest expense.

+ 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
-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 3: 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 4: http://www.xbrl.org/2009/role/commonPracticeRef
-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

+ Details

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

X

- Definition

Amount of amortization expense attributable to debt issuance costs.

+ References

Reference 1: 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 2: 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 3: 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 4: http://www.xbrl.org/2009/role/commonPracticeRef
-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

+ 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://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/2147478546/942-210-S99-1

Reference 3: 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/2147478777/944-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 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

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://fasb.org/us-gaap/role/ref/legacyRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-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 2: 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 3: 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 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/exampleRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 55
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482949/835-30-55-8

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://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 6: http://www.xbrl.org/2003/role/disclosureRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482925/835-30-45-2

+ 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/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2E
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2E

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(2)(i)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(2)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 5: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (bbb)(1)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

Reference 6: 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 7: 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 8: 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 9: 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://fasb.org/us-gaap/role/ref/legacyRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-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

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

+ 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/exampleRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 55
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482949/835-30-55-8

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

Reference 26: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482925/835-30-45-2

Reference 27: http://www.xbrl.org/2009/role/commonPracticeRef
-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

+ 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
-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

+ 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 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 55
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482949/835-30-55-8

Reference 2: 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 3: 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 4: 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 5: 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 6: http://www.xbrl.org/2003/role/disclosureRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482925/835-30-45-2

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

Reference 8: http://www.xbrl.org/2003/role/disclosureRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 1A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482925/835-30-45-1A

+ Details

Name:	us-gaap_DebtInstrumentUnamortizedDiscountPremiumAndDebtIssuanceCostsNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

X

- Definition

Amount, after accumulated amortization, of debt premium.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 1A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482925/835-30-45-1A

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482925/835-30-45-2

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-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 4: http://www.xbrl.org/2009/role/commonPracticeRef
-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

+ Details

Name:	us-gaap_DebtInstrumentUnamortizedPremium
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

Amount of the cost of borrowed funds accounted for as interest expense for debt.

+ References

Reference 1: 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 2: 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 3: 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 4: 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 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

- Definition

Amount of cash inflow (outflow) from long-term debt wholly or partially secured by collateral. Excludes tax exempt secured debt.

+ References

No definition available.

+ Details

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

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: