XML 51 R40.htm IDEA: XBRL DOCUMENT
v3.24.2

Severance and other related costs (Details) - USD ($) $ in Millions | 3 Months Ended | 6 Months Ended
--- | --- | ---
Jun. 30, 2023 | Jun. 30, 2023
Restructuring and Related Activities [Abstract] |  |
Severance Costs | $ 0.0 | $ 3.6
Cash Payments for Severance and other related | $ 0.6 | $ 3.7

X
- Definition Cash Payments for Severance and other related + References No definition available. + Details
Name: | pro_CashPaymentsForSeveranceAndOtherRelated
Namespace Prefix: | pro_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- References No definition available. + Details
Name: | us-gaap_RestructuringAndRelatedActivitiesAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of expenses for special or contractual termination benefits provided to current employees involuntarily terminated under a benefit arrangement associated exit or disposal activities pursuant to an authorized plan. Excludes expenses related to one-time termination benefits, a discontinued operation or an asset retirement obligation. + 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 + Details
Name: | us-gaap_SeveranceCosts1
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration