XML 88 R74.htm IDEA: XBRL DOCUMENT v3.10.0.1

Commitments and Contingencies (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2018	Dec. 31, 2017	Dec. 31, 2016
Long-term Purchase Commitment [Line Items]
Contractual Obligation	$ 2.3
Operating Leases, Rent Expense, Net	4.3	$ 3.9	$ 4.1
December 2018 Agreement [Member] [Member]
Long-term Purchase Commitment [Line Items]
Purchase Obligation	6.4
June 2017 Agreement [Member]
Long-term Purchase Commitment [Line Items]
Purchase Obligation	$ 12.6

X

- Definition

Amount of contractual obligation, including but not limited to, long-term debt, capital lease obligations, operating lease obligations, purchase obligations, and other commitments.

+ References

No definition available.

+ Details

Name:	us-gaap_ContractualObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

Name:	us-gaap_LongTermPurchaseCommitmentLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

X

- Definition

Rental expense for the reporting period incurred under operating leases, including minimum and any contingent rent expense, net of related sublease income.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=77902758&loc=d3e41499-112717

+ Details

Name:	us-gaap_OperatingLeasesRentExpenseNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

X

- Definition

Minimum amount of purchase arrangement in which the entity has agreed to expend funds to procure goods or services from a supplier.

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Details

Name:	us-gaap_OtherCommitmentsAxis=pro_December2018AgreementMemberMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

X

- Details

Name:	us-gaap_OtherCommitmentsAxis=pro_June2017AgreementMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: