XML 33 R22.htm IDEA: XBRL DOCUMENT
v3.24.2

Leases (Tables) | 6 Months Ended
--- | ---
Jun. 30, 2024
Leases [Abstract] |
Supplemental Lease Information [Table Text Block] | Supplemental cash flow information related to leases was as follows (in thousands):
| Three Months Ended June 30, |  | Six Months Ended June 30,
| 2024 |  | 2023 |  | 2024 |  | 2023
Cash paid for operating lease liabilities | $ | 1,782 |  |  | $ | 1,657 |  |  | $ | 4,015 |  |  | $ | 3,908 |
Right-of-use asset obtained in exchange for operating lease liability | $ | 14 |  |  | $ | 279 |  |  | $ | 2,140 |  |  | $ | 279 |
Lessee, Operating Lease, Liability, Maturity [Table Text Block] | As of June 30, 2024, maturities of lease liabilities were as follows (in thousands):
Year Ending December 31, |  | Amount
Remaining 2024 |  | $ | 3,791 |
2025 |  | 3,932 |
2026 |  | 3,893 |
2027 |  | 3,796 |
2028 |  | 3,856 |
2029 |  | 3,913 |
Thereafter |  | 14,486 |
Total operating lease payments |  | 37,667 |
Less: Imputed interest |  | (8,403) |
Total operating lease liabilities |  | $ | 29,264 |

X
- Definition [Table Text Block]Supplemental Cash Flow Information Related to Leases [Table] + References No definition available. + Details
Name: | pro_SupplementalCashFlowInformationRelatedtoLeasesTableTextBlock
Namespace Prefix: | pro_
Data Type: | dtr-types1:textBlockItemType
Balance Type: | na
Period Type: | duration

X
- References No definition available. + Details
Name: | us-gaap_LeasesAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Tabular disclosure of undiscounted cash flows of lessee's operating lease liability. Includes, but is not limited to, reconciliation of undiscounted cash flows to operating lease liability recognized in statement of financial position. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 842 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Publisher FASB -URI https://asc.fasb.org/1943274/2147478964/842-20-50-6 + Details
Name: | us-gaap_LesseeOperatingLeaseLiabilityMaturityTableTextBlock
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:textBlockItemType
Balance Type: | na
Period Type: | duration