XML 92 R78.htm IDEA: XBRL DOCUMENT v3.10.0.1

Employment Retirement Savings (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2018	Dec. 31, 2017	Dec. 31, 2016
Retirement Benefits [Abstract]
Defined Benefit Plan, Plan Assets, Contributions by Employer	$ 2.4	$ 2.0	$ 1.9
Matching Percentage of Salary Contribution by Qualified Employees	50.00%
Qualified Employees Contribution Matching Percentage by the Employer	6.00%

X

- Definition

Matching percentage of salary contribution by qualified employees.

+ References

No definition available.

+ Details

Name:	pro_MatchingPercentageOfSalaryContributionByQualifiedEmployees
Namespace Prefix:	pro_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

X

- Definition

Qualified employees contribution matching percentage by the employer.

+ References

No definition available.

+ Details

Name:	pro_QualifiedEmployeesContributionMatchingPercentageByEmployer
Namespace Prefix:	pro_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

X

- References

No definition available.

+ Details

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

X

- Definition

Amount of contribution received by defined benefit plan from employer which increases plan assets.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 715
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (d)(5)(ii)
-URI http://asc.fasb.org/extlink&oid=82843861&loc=d3e1928-114920

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 715
-SubTopic 20
-Section 50
-Paragraph 6
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=82843861&loc=d3e2709-114920

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 715
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (b)(3)
-URI http://asc.fasb.org/extlink&oid=82843861&loc=d3e1928-114920

Reference 4: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 715
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (d)(5)(iv)(01)
-URI http://asc.fasb.org/extlink&oid=82843861&loc=d3e1928-114920

+ Details

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