XML 41 R30.htm IDEA: XBRL DOCUMENT
v3.24.1.u1

Leases (Details) - USD ($) $ in Thousands | 3 Months Ended
--- | ---
Mar. 31, 2024 | Mar. 31, 2023
Lessee, Lease, Description [Line Items] |  |
Lessee, Operating Lease, Option to Renew | 15 years |
Lessee, Operating Lease, Termination Option | 1 year |
Operating Lease, Payments | $ 2,233 | $ 2,251
Right-of-use Asset Obtained in Exchange for Operating Lease Liability | 2,126 | 0
Lease modification, increase in right of use asset | 2,100 |
Lease modification, increase in right of use liability | 1,400 |
Gain on lease modification | (697) | 0
Loss on Disposition of Other Assets | $ 774 | 35
Decrease in right-of-use asset and related lease liability due to modification |  | $ 1,000
Minimum [Member] |  |
Lessee, Lease, Description [Line Items] |  |
Lessee, Operating Lease, Term of Contract | 1 year |
Maximum [Member] |  |
Lessee, Lease, Description [Line Items] |  |
Lessee, Operating Lease, Term of Contract | 9 years |

X
- Definition Decrease in right-of-use asset and related lease liability due to modification + References No definition available. + Details
Name: | pro_DecreaseInRightOfUseAssetAndRelatedLeaseLiabilityDueToModification
Namespace Prefix: | pro_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration

X
- Definition Gain on lease modification + References No definition available. + Details
Name: | pro_GainOnLeaseModification
Namespace Prefix: | pro_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- 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

X
- 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

X
- 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

X
- 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

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 Reference 1: 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

X
- 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

X
- 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 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_LesseeOperatingLeaseTermOfContract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- 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

X
- 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

X
- Details
Name: | srt_RangeAxis=srt_MinimumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | srt_RangeAxis=srt_MaximumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |