XML 52 R42.htm IDEA: XBRL DOCUMENT v3.23.3

Commitments and Contingencies Purchase commitments (Details) $ in Millions	Sep. 30, 2023 USD ($)
Software Support Services Commitment
Long-term Purchase Commitment [Line Items]
Purchase Obligation	$ 3.5

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

No definition available.

+ Details

Name:	us-gaap_LongTermPurchaseCommitmentLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

X

- Definition

Minimum amount of purchase arrangement in which the entity has agreed to expend funds to procure goods or services from a supplier.

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Details

Name:	us-gaap_LongTermPurchaseCommitmentByCategoryOfItemPurchasedAxis=pro_SoftwareSupportServicesCommitmentMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: