Leases (Details) - USD ($) $ in Thousands	3 Months Ended	9 Months Ended
Sep. 30, 2025	Sep. 30, 2024	Sep. 30, 2025	Sep. 30, 2024
Lessee, Lease, Description [Line Items]
Lessee, Operating Lease, Option to Renew	15 years		15 years
Lessee, Operating Lease, Termination Option			1 year
Operating Lease, Payments	$ 1,965	$ 1,790	$ 5,439	$ 5,805
Right-of-use Asset Obtained in Exchange for Operating Lease Liability	$ 0	$ 229	5,000	2,369
Lease modification, increase in right of use asset				2,100
Lease modification, increase in right of use liability				1,400
Gain on lease modification			0	(697)
Loss on Disposition of Other Assets			$ 0	$ 774
Minimum [Member]
Lessee, Lease, Description [Line Items]
Lessee, Operating Lease, Term of Contract	1 year		1 year
Maximum [Member]
Lessee, Lease, Description [Line Items]
Lessee, Operating Lease, Term of Contract	8 years		8 years

Gain on lease modification

No definition available.

Name:	pro_GainOnLeaseModification
Namespace Prefix:	pro_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Lease modification, increase in right of use asset

+ References

No definition available.

+ Details

Name:	pro_LeaseModificationIncreaseInRightOfUseAsset
Namespace Prefix:	pro_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Lease modification, increase in right of use liability

+ References

No definition available.

+ Details

Name:	pro_LeaseModificationIncreaseInRightOfUseLiability
Namespace Prefix:	pro_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Lessee, Operating Lease, Termination Option

+ References

No definition available.

+ Details

Name:	pro_LesseeOperatingLeaseTerminationOption
Namespace Prefix:	pro_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of gain (loss) on sale or disposal of other assets.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 28
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482740/230-10-45-28

+ Details

Name:	us-gaap_GainLossOnSaleOfOtherAssets
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- 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

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 7A
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-7A

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-3

+ Details

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

- Definition

Term of lessee's operating lease renewal, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (a)(3)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-3

+ Details

Name:	us-gaap_LesseeOperatingLeaseRenewalTerm
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Definition

Term of lessee's operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

+ Details

Name:	us-gaap_LesseeOperatingLeaseTermOfContract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Definition

Amount of cash outflow from operating lease, excluding payments to bring another asset to condition and location necessary for its intended use.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 5
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479041/842-20-45-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (g)(1)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-4

+ Details

Name:	us-gaap_OperatingLeasePayments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of increase in right-of-use asset obtained in exchange for operating lease liability.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479589/842-20-55-53

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

+ Details

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

- Details

Name:	srt_RangeAxis=srt_MinimumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	srt_RangeAxis=srt_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: