XML 40 R30.htm IDEA: XBRL DOCUMENT
v3.23.3

Deferred Revenue and Performance Obligation (Details) - USD ($) $ in Millions | 3 Months Ended | 9 Months Ended
--- | --- | ---
Sep. 30, 2023 | Sep. 30, 2022 | Sep. 30, 2023 | Sep. 30, 2022
Deferred Revenue and Performance Obligation [Abstract] |  |  |  |
Deferred Revenue, Revenue Recognized | $ 52.5 | $ 46.0 | $ 100.7 | $ 86.4
Revenue, Remaining Performance Obligation, Amount | 403.9 |  | 403.9 |
Revenue Remaining Performance Obligation, to be recognized within 12 months | $ 199.0 |  | $ 199.0 |

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