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