XML 42 R32.htm IDEA: XBRL DOCUMENT
v3.23.3

Leases (Details) - USD ($) $ in Thousands | 3 Months Ended | 9 Months Ended
--- | --- | ---
Sep. 30, 2023 | Sep. 30, 2022 | Sep. 30, 2023 | Sep. 30, 2022
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,859 | $ 2,175 | $ 5,767 | $ 6,370
Right-of-use Asset Obtained in Exchange for Operating Lease Liability | $ 86 | $ 0 | 365 | 243
Decrease in right-of-use asset and related lease liability due to modification |  |  | $ 1,000 | $ 2,700
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 | 10 years |  | 10 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 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 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: |