XML 39 R28.htm IDEA: XBRL DOCUMENT
v3.24.2

Deferred Revenue and Performance Obligation (Details) - USD ($) $ in Millions | 3 Months Ended | 6 Months Ended
--- | --- | ---
Jun. 30, 2024 | Jun. 30, 2023 | Jun. 30, 2024 | Jun. 30, 2023
Deferred Revenue and Performance Obligation [Abstract] |  |  |  |
Deferred Revenue, Revenue Recognized | $ 56.0 | $ 52.0 | $ 90.0 | $ 81.5
Revenue, Remaining Performance Obligation, Amount | 450.3 |  | 450.3 |
Revenue Remaining Performance Obligation, to be recognized within 12 months | $ 232.7 |  | $ 232.7 |

X
- Definition Deferred Revenue and Performance Obligation [Abstract] + References No definition available. + Details
Name: | pro_DeferredRevenueandPerformanceObligationAbstract
Namespace Prefix: | pro_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Revenue Remaining Performance Obligation, to be recognized within 12 months + References No definition available. + Details
Name: | pro_RevenueRemainingPerformanceObligationtoberecognizedwithin12months
Namespace Prefix: | pro_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount of revenue recognized that was previously reported as deferred or unearned revenue. + References No definition available. + Details
Name: | us-gaap_DeferredRevenueRevenueRecognized1
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of transaction price allocated to performance obligation that has not been recognized as revenue. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Name Accounting Standards Codification -Section 50 -Paragraph 13 -Subparagraph (a) -SubTopic 10 -Topic 606 -Publisher FASB -URI https://asc.fasb.org/1943274/2147479806/606-10-50-13 + Details
Name: | us-gaap_RevenueRemainingPerformanceObligation
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant