XML 39 R28.htm IDEA: XBRL DOCUMENT
v3.24.1.u1

Deferred Revenue and Performance Obligation (Details) - USD ($) $ in Millions | 3 Months Ended
--- | ---
Mar. 31, 2024 | Mar. 31, 2023
Deferred Revenue and Performance Obligation [Abstract] |  |
Deferred Revenue, Revenue Recognized | $ 54.5 | $ 49.4
Revenue, Remaining Performance Obligation, Amount | 447.6 |
Revenue Remaining Performance Obligation, to be recognized within 12 months | $ 227.4 |

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