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