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