XML 94 R74.htm IDEA: XBRL DOCUMENT v3.25.0.1

Employment Retirement Savings (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Retirement Benefits [Abstract]
Defined Benefit Plan, Plan Assets, Contributions by Employer	$ 3.5	$ 2.7	$ 3.9
Matching Percentage of Salary Contribution by Qualified Employees	50.00%	50.00%	50.00%
Qualified Employees Contribution Matching Percentage by the Employer	8.00%	4.00%	8.00%

X

- Definition

Matching percentage of salary contribution by qualified employees.

+ References

No definition available.

+ Details

Name:	pro_MatchingPercentageOfSalaryContributionByQualifiedEmployees
Namespace Prefix:	pro_
Data Type:	dtr-types1: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:	dtr-types1: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/exampleRef
-Topic 715
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 17
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480482/715-20-55-17

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 715
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (d)(iv)(01)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480506/715-20-50-1

Reference 3: http://www.xbrl.org/2003/role/exampleRef
-Topic 715
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 18
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480482/715-20-55-18

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 715
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480506/715-20-50-6

Reference 5: http://www.xbrl.org/2003/role/disclosureRef
-Topic 715
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (b)(3)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480506/715-20-50-1

Reference 6: http://www.xbrl.org/2003/role/exampleRef
-Topic 715
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (d)(ii)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480506/715-20-50-1

Reference 7: http://www.xbrl.org/2003/role/exampleRef
-Topic 715
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (d)(iv)(01)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480506/715-20-50-1

+ Details

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