XML 34 R23.htm IDEA: XBRL DOCUMENT
v3.20.2

Deferred Revenue and Performance Obligation (Details) - USD ($) $ in Millions | 3 Months Ended | 6 Months Ended
--- | --- | ---
Jun. 30, 2020 | Jun. 30, 2019 | Jun. 30, 2020 | Jun. 30, 2019
Deferred Revenue and Performance Obligation [Abstract] |  |  |  |
Deferred Revenue, Revenue Recognized | $ 48.8 | $ 43.7 | $ 84.0 | $ 67.1
Revenue, Remaining Performance Obligation, Amount | 374.5 |  | 374.5 |
Revenue Remaining Performance Obligation, to be recognized within 12 months | $ 180.8 |  | $ 180.8 |

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 -Publisher FASB -Name Accounting Standards Codification -Topic 606 -SubTopic 10 -Section 50 -Paragraph 13 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=121604090&loc=SL49130556-203045 + Details
Name: | us-gaap_RevenueRemainingPerformanceObligation
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant